72a73,79
> Gicv3CPUInterface::resetHppi(uint32_t intid)
> {
> if (intid == hppi.intid)
> hppi.prio = 0xff;
> }
>
> void
1846c1853
< hppi.prio = 0xff;
---
> resetHppi(int_id);