1324c1324,1326
< break;
---
> isa->setMiscRegNoEffect(MISCREG_ICC_IGRPEN0_EL1, val);
> updateDistributor();
> return;
1362a1365
> updateDistributor();