vgic_lazy_init    447 virt/kvm/arm/vgic/vgic.c 	ret = vgic_lazy_init(kvm);
vgic_lazy_init    249 virt/kvm/arm/vgic/vgic.h int vgic_lazy_init(struct kvm *kvm);