1625a1626,1639
> RegVal
> Gicv3CPUInterface::readBankedMiscReg(MiscRegIndex misc_reg) const
> {
> return isa->readMiscRegNoEffect(
> isa->snsBankedIndex64(misc_reg, !isSecureBelowEL3()));
> }
>
> void
> Gicv3CPUInterface::setBankedMiscReg(MiscRegIndex misc_reg, RegVal val) const
> {
> isa->setMiscRegNoEffect(
> isa->snsBankedIndex64(misc_reg, !isSecureBelowEL3()), val);
> }
>