HV_X64_MSR_VP_INDEX
case HV_X64_MSR_VP_INDEX:
case HV_X64_MSR_VP_INDEX: {
case HV_X64_MSR_VP_INDEX:
HV_X64_MSR_VP_INDEX,
#define HV_MSR_VP_INDEX (HV_X64_MSR_VP_INDEX)
vcpu_set_msr(vcpu, HV_X64_MSR_VP_INDEX, vcpu->id);
msr->idx = HV_X64_MSR_VP_INDEX;
msr->idx = HV_X64_MSR_VP_INDEX;
msr->idx = HV_X64_MSR_VP_INDEX;
vcpu_set_msr(vcpu[1], HV_X64_MSR_VP_INDEX, RECEIVER_VCPU_ID_1);
vcpu_set_msr(vcpu[2], HV_X64_MSR_VP_INDEX, RECEIVER_VCPU_ID_2);
vcpu_id = rdmsr(HV_X64_MSR_VP_INDEX);
u32 vcpu_id = rdmsr(HV_X64_MSR_VP_INDEX);
vcpu_set_msr(vcpu, HV_X64_MSR_VP_INDEX, vcpu->id);
vcpu_set_msr(vcpu[1], HV_X64_MSR_VP_INDEX, WORKER_VCPU_ID_1);
vcpu_set_msr(vcpu[2], HV_X64_MSR_VP_INDEX, WORKER_VCPU_ID_2);
u32 vcpu_id = rdmsr(HV_X64_MSR_VP_INDEX);