vgic_debug_destroy  369 virt/kvm/arm/vgic/vgic-init.c 	vgic_debug_destroy(kvm);
vgic_debug_destroy  253 virt/kvm/arm/vgic/vgic.h void vgic_debug_destroy(struct kvm *kvm);