Symbol: vgic_debug_destroy
arch/arm64/kvm/vgic/vgic-init.c
513
vgic_debug_destroy(kvm);
arch/arm64/kvm/vgic/vgic.h
363
void vgic_debug_destroy(struct kvm *kvm);