0099b7701f
If the vgic hasn't been created and initialized, we shouldn't attempt to
look at its data structures or flush/sync anything to the GIC hardware.
This fixes an issue reported by Alexander Graf when using a userspace
irqchip.
Fixes:
|
||
---|---|---|
.. | ||
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.c | ||
vgic.h |