vcpu_to_hv_vcpu   142 arch/x86/kvm/hyperv.c 	if (vcpu && vcpu_to_hv_vcpu(vcpu)->vp_index == vpidx)
vcpu_to_hv_vcpu   145 arch/x86/kvm/hyperv.c 		if (vcpu_to_hv_vcpu(vcpu)->vp_index == vpidx)
vcpu_to_hv_vcpu   166 arch/x86/kvm/hyperv.c 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
vcpu_to_hv_vcpu   421 arch/x86/kvm/hyperv.c 		vcpu_to_hv_vcpu(vcpu)->stimer_pending_bitmap);
vcpu_to_hv_vcpu   436 arch/x86/kvm/hyperv.c 		  vcpu_to_hv_vcpu(vcpu)->stimer_pending_bitmap);
vcpu_to_hv_vcpu   674 arch/x86/kvm/hyperv.c 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
vcpu_to_hv_vcpu   704 arch/x86/kvm/hyperv.c 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
vcpu_to_hv_vcpu   755 arch/x86/kvm/hyperv.c 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
vcpu_to_hv_vcpu   767 arch/x86/kvm/hyperv.c 	struct kvm_vcpu_hv *hv_vcpu = vcpu_to_hv_vcpu(vcpu);
vcpu_to_hv_vcpu  1345 arch/x86/kvm/hyperv.c 		if (test_bit(vcpu_to_hv_vcpu(vcpu)->vp_index,
vcpu_to_hv_vcpu    71 arch/x86/kvm/hyperv.h 	return &vcpu_to_hv_vcpu(vcpu)->stimer[timer_index];