vgic_debug_init   320 virt/kvm/arm/vgic/vgic-init.c 	vgic_debug_init(kvm);
vgic_debug_init   252 virt/kvm/arm/vgic/vgic.h void vgic_debug_init(struct kvm *kvm);