539c539
< updateAndInformCPUInterface();
---
> updateDistributor();
736c736
< updateAndInformCPUInterface();
---
> updateDistributor();
773c773
< updateAndInformCPUInterface();
---
> updateDistributor();
793a794,799
> void
> Gicv3Redistributor::updateDistributor()
> {
> distributor->update();
> }
>
801,802d806
< bool new_hppi = false;
<
820d823
< new_hppi = true;
869d871
< new_hppi = true;
875,879c877
< if (!new_hppi && cpuInterface->hppi.prio != 0xff &&
< (cpuInterface->hppi.intid < Gicv3::SGI_MAX + Gicv3::PPI_MAX ||
< cpuInterface->hppi.intid > SMALLEST_LPI_ID)) {
< distributor->fullUpdate();
< }
---
> cpuInterface->update();
961c959
< updateAndInformCPUInterface();
---
> updateDistributor();
964,970d961
< void
< Gicv3Redistributor::updateAndInformCPUInterface()
< {
< update();
< cpuInterface->update();
< }
<