vgic_v4_teardown  353 virt/kvm/arm/vgic/vgic-init.c 		vgic_v4_teardown(kvm);
vgic_v4_teardown  162 virt/kvm/arm/vgic/vgic-v4.c 		vgic_v4_teardown(kvm);
vgic_v4_teardown  318 virt/kvm/arm/vgic/vgic.h void vgic_v4_teardown(struct kvm *kvm);