kvm_vgic_destroy  338 include/kvm/arm_vgic.h void kvm_vgic_destroy(struct kvm *kvm);
kvm_vgic_destroy  166 virt/kvm/arm/arm.c 	kvm_vgic_destroy(kvm);