HV_X64_MSR_REENLIGHTENMENT_CONTROL
wrmsrq(HV_X64_MSR_REENLIGHTENMENT_CONTROL, *((u64 *)&re_ctrl));
rdmsrq(HV_X64_MSR_REENLIGHTENMENT_CONTROL, *(u64 *)&re_ctrl);
wrmsrq(HV_X64_MSR_REENLIGHTENMENT_CONTROL, *(u64 *)&re_ctrl);
rdmsrq(HV_X64_MSR_REENLIGHTENMENT_CONTROL, *((u64 *)&re_ctrl));
wrmsrq(HV_X64_MSR_REENLIGHTENMENT_CONTROL, *((u64 *)&re_ctrl));
case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
HV_X64_MSR_REENLIGHTENMENT_CONTROL, HV_X64_MSR_TSC_EMULATION_CONTROL,
case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
case HV_X64_MSR_REENLIGHTENMENT_CONTROL:
wrmsr(HV_X64_MSR_REENLIGHTENMENT_CONTROL, 0x1 << 16 | 0xff);
wrmsr(HV_X64_MSR_REENLIGHTENMENT_CONTROL, 0);
msr->idx = HV_X64_MSR_REENLIGHTENMENT_CONTROL;
msr->idx = HV_X64_MSR_REENLIGHTENMENT_CONTROL;
msr->idx = HV_X64_MSR_REENLIGHTENMENT_CONTROL;