kvm_vcpu_get_idx  769 arch/x86/kvm/hyperv.c 	hv_vcpu->vp_index = kvm_vcpu_get_idx(vcpu);
kvm_vcpu_get_idx 1087 arch/x86/kvm/hyperv.c 		int vcpu_idx = kvm_vcpu_get_idx(vcpu);