HV_X64_MSR_TSC_EMULATION_CONTROL
wrmsrq(HV_X64_MSR_TSC_EMULATION_CONTROL, *((u64 *)&emu_ctrl));
case HV_X64_MSR_TSC_EMULATION_CONTROL:
case HV_X64_MSR_TSC_EMULATION_CONTROL:
case HV_X64_MSR_TSC_EMULATION_CONTROL:
case HV_X64_MSR_TSC_EMULATION_CONTROL:
HV_X64_MSR_REENLIGHTENMENT_CONTROL, HV_X64_MSR_TSC_EMULATION_CONTROL,
case HV_X64_MSR_TSC_EMULATION_CONTROL:
case HV_X64_MSR_TSC_EMULATION_CONTROL:
wrmsr(HV_X64_MSR_TSC_EMULATION_CONTROL, 0x1);
wrmsr(HV_X64_MSR_TSC_EMULATION_CONTROL, 0);