vgic_v4_init      308 virt/kvm/arm/vgic/vgic-init.c 		ret = vgic_v4_init(kvm);
vgic_v4_init     1888 virt/kvm/arm/vgic/vgic-its.c 		int ret = vgic_v4_init(dev->kvm);
vgic_v4_init      317 virt/kvm/arm/vgic/vgic.h int vgic_v4_init(struct kvm *kvm);