kvm_hv_get_vpindex
if (test_bit(kvm_hv_get_vpindex(vcpu), (unsigned long *)vp_bitmap))
if (vcpu && kvm_hv_get_vpindex(vcpu) == vpidx)
if (kvm_hv_get_vpindex(vcpu) == vpidx)
!hv_is_vp_in_sparse_set(kvm_hv_get_vpindex(vcpu),
trace_kvm_hv_syndbg_get_msr(vcpu->vcpu_id, kvm_hv_get_vpindex(vcpu), msr, *pdata);
u32 vp_index = kvm_hv_get_vpindex(vcpu);
current_evmcs->hv_vp_id = kvm_hv_get_vpindex(vcpu);