555a556
> value = readBankedMiscReg(MISCREG_ICC_CTLR_EL1);
1135c1136
< isa->readMiscRegNoEffect(MISCREG_ICC_CTLR_EL1);
---
> readBankedMiscReg(MISCREG_ICC_CTLR_EL1);
1193,1194c1194,1195
< val = icc_ctlr_el1;
< break;
---
> setBankedMiscReg(MISCREG_ICC_CTLR_EL1, icc_ctlr_el1);
> return;
1966,1967c1967,1971
< ICC_CTLR_EL1 icc_ctlr_el1 =
< isa->readMiscRegNoEffect(MISCREG_ICC_CTLR_EL1);
---
> ICC_CTLR_EL1 icc_ctlr_el1 = 0;
> if (inSecureState())
> icc_ctlr_el1 = isa->readMiscRegNoEffect(MISCREG_ICC_CTLR_EL1_S);
> else
> icc_ctlr_el1 = isa->readMiscRegNoEffect(MISCREG_ICC_CTLR_EL1_NS);