HV_X64_MSR_TSC_EMULATION_STATUS
rdmsrq(HV_X64_MSR_TSC_EMULATION_STATUS, *(u64 *)&emu_status);
rdmsrq(HV_X64_MSR_TSC_EMULATION_STATUS, *(u64 *)&emu_status);
wrmsrq(HV_X64_MSR_TSC_EMULATION_STATUS, *(u64 *)&emu_status);
case HV_X64_MSR_TSC_EMULATION_STATUS:
case HV_X64_MSR_TSC_EMULATION_STATUS:
case HV_X64_MSR_TSC_EMULATION_STATUS:
case HV_X64_MSR_TSC_EMULATION_STATUS:
HV_X64_MSR_TSC_EMULATION_STATUS, HV_X64_MSR_TSC_INVARIANT_CONTROL,
case HV_X64_MSR_TSC_EMULATION_STATUS:
case HV_X64_MSR_TSC_EMULATION_STATUS:
msr->idx = HV_X64_MSR_TSC_EMULATION_STATUS;