dev/arm/gic_v3_cpu_interface.cc

440           virtualUpdate();
496           virtualUpdate();
854           virtualUpdate();
932           virtualUpdate();
1042           virtualUpdate();
1319           virtualUpdate();
1342           virtualUpdate();
1365           virtualUpdate();
1612         virtualUpdate();
2061 Gicv3CPUInterface::virtualUpdate()
2089         DPRINTF(GIC, "Gicv3CPUInterface::virtualUpdate(): "
2097         DPRINTF(GIC, "Gicv3CPUInterface::virtualUpdate(): "