Linux kernel bug fix: KVM: arm/arm64: vgic: Don't flush/sync without a working vgic
Subsystem: kvm (virt/kvm/arm/vgic/vgic.c)
Bug type: unknown, severity: unknown
Files changed: virt/kvm/arm/vgic/vgic.c
Introduced by Marc Zyngier on 2016-05-20 15:39:47 +0200; fixed by Christoffer Dall on 2016-09-27 18:57:35 +0200 (lifetime: 130 days)