HV_X64_MSR_TSC_INVARIANT_CONTROL
wrmsrq(HV_X64_MSR_TSC_INVARIANT_CONTROL, HV_EXPOSE_INVARIANT_TSC);
case HV_X64_MSR_TSC_INVARIANT_CONTROL:
case HV_X64_MSR_TSC_INVARIANT_CONTROL:
case HV_X64_MSR_TSC_INVARIANT_CONTROL:
case HV_X64_MSR_TSC_INVARIANT_CONTROL:
HV_X64_MSR_TSC_EMULATION_STATUS, HV_X64_MSR_TSC_INVARIANT_CONTROL,
case HV_X64_MSR_TSC_INVARIANT_CONTROL:
case HV_X64_MSR_TSC_INVARIANT_CONTROL:
msr->idx = HV_X64_MSR_TSC_INVARIANT_CONTROL;
msr->idx = HV_X64_MSR_TSC_INVARIANT_CONTROL;
msr->idx = HV_X64_MSR_TSC_INVARIANT_CONTROL;
msr->idx = HV_X64_MSR_TSC_INVARIANT_CONTROL;
if (msr->idx == HV_X64_MSR_TSC_INVARIANT_CONTROL) {