HV_X64_MSR_STIMER0_CONFIG
case HV_X64_MSR_STIMER0_CONFIG:
case HV_X64_MSR_STIMER0_CONFIG:
int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2;
case HV_X64_MSR_STIMER0_CONFIG:
int timer_index = (msr - HV_X64_MSR_STIMER0_CONFIG)/2;
HV_X64_MSR_STIMER0_CONFIG,
case HV_X64_MSR_STIMER0_CONFIG ... HV_X64_MSR_STIMER3_COUNT:
case HV_X64_MSR_STIMER0_CONFIG ... HV_X64_MSR_STIMER3_COUNT:
#define HV_MSR_STIMER0_CONFIG (HV_X64_MSR_STIMER0_CONFIG)
msr->idx = HV_X64_MSR_STIMER0_CONFIG;
msr->idx = HV_X64_MSR_STIMER0_CONFIG;
msr->idx = HV_X64_MSR_STIMER0_CONFIG;
msr->idx = HV_X64_MSR_STIMER0_CONFIG;
msr->idx = HV_X64_MSR_STIMER0_CONFIG;