kvm_vgic_vcpu_init  336 include/kvm/arm_vgic.h int kvm_vgic_vcpu_init(struct kvm_vcpu *vcpu);
kvm_vgic_vcpu_init  354 virt/kvm/arm/arm.c 	return kvm_vgic_vcpu_init(vcpu);