38a39,41
> const uint8_t Gicv3CPUInterface::GIC_MIN_BPR;
> const uint8_t Gicv3CPUInterface::GIC_MIN_BPR_NS;
>
324a328,329
> bpr = std::max(bpr, group == Gicv3::G1S ?
> GIC_MIN_BPR : GIC_MIN_BPR_NS);
1847c1852
< Gicv3CPUInterface::groupPriorityMask(Gicv3::GroupId group) const
---
> Gicv3CPUInterface::groupPriorityMask(Gicv3::GroupId group)
1862c1867
< bpr = isa->readMiscRegNoEffect(MISCREG_ICC_BPR0_EL1) & 0x7;
---
> bpr = readMiscReg(MISCREG_ICC_BPR0_EL1) & 0x7;
1864c1869
< bpr = isa->readMiscRegNoEffect(MISCREG_ICC_BPR1_EL1) & 0x7;
---
> bpr = readMiscReg(MISCREG_ICC_BPR1_EL1) & 0x7;
2168c2173
< Gicv3CPUInterface::hppiCanPreempt() const
---
> Gicv3CPUInterface::hppiCanPreempt()