60a61,62
> hppi.prio = 0xff;
> hppi.intid = Gicv3::INTID_SPURIOUS;
71,82d72
< Gicv3CPUInterface::initState()
< {
< reset();
< }
<
< void
< Gicv3CPUInterface::reset()
< {
< hppi.prio = 0xff;
< }
<
< void