b6909a659f
The GIC sometimes need to sample the physical line of a mapped interrupt. As we know this to be notoriously slow, provide a callback function for devices (such as the timer) which can do this much faster than talking to the distributor, for example by comparing a few in-memory values. Fall back to the good old method of poking the physical GIC if no callback is provided. Reviewed-by: Marc Zyngier <marc.zyngier@arm.com> Reviewed-by: Eric Auger <eric.auger@redhat.com> Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org> |
||
---|---|---|
.. | ||
trace.h | ||
vgic-debug.c | ||
vgic-init.c | ||
vgic-irqfd.c | ||
vgic-its.c | ||
vgic-kvm-device.c | ||
vgic-mmio-v2.c | ||
vgic-mmio-v3.c | ||
vgic-mmio.c | ||
vgic-mmio.h | ||
vgic-v2.c | ||
vgic-v3.c | ||
vgic-v4.c | ||
vgic.c | ||
vgic.h |