36d6961c2b
When the GITS_BASER<n>.Valid gets cleared, the data structures in guest RAM are not valid anymore. The device, collection and LPI lists stored in the in-kernel ITS represent the same information in some form of cache. So let's void the cache. Reviewed-by: Marc Zyngier <marc.zyngier@arm.com> Reviewed-by: Christoffer Dall <christoffer.dall@linaro.org> Signed-off-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.c | ||
vgic.h |