193a194
> value = readBankedMiscReg(MISCREG_ICC_IGRPEN1_EL1);
1361c1362,1363
< break;
---
> setBankedMiscReg(MISCREG_ICC_IGRPEN1_EL1, val);
> return;