Symbol: vgic_debug_init
arch/arm64/kvm/vgic/vgic-init.c
425
vgic_debug_init(kvm);
arch/arm64/kvm/vgic/vgic.h
362
void vgic_debug_init(struct kvm *kvm);