__kvm_vgic_destroy  380 virt/kvm/arm/vgic/vgic-init.c 	__kvm_vgic_destroy(kvm);
__kvm_vgic_destroy  437 virt/kvm/arm/vgic/vgic-init.c 		__kvm_vgic_destroy(kvm);