1822d1821
< redistributor->updateAndInformCPUInterface();
1826d1824
< distributor->updateAndInformCPUInterfaces();
1830a1829,1834
>
> // By setting the priority to 0xff we are effectively
> // making the int_id not pending anymore at the cpu
> // interface.
> hppi.prio = 0xff;
> updateDistributor();
1860d1863
< redistributor->updateAndInformCPUInterface();
1864,1867d1866
< distributor->updateAndInformCPUInterfaces();
< } else {
< // LPI, redistributor, shouldn't deactivate
< redistributor->updateAndInformCPUInterface();
1868a1868,1869
>
> updateDistributor();
1994a1996,2001
> Gicv3CPUInterface::updateDistributor()
> {
> distributor->update();
> }
>
> void