HV_X64_MSR_STIMER0_COUNT
case HV_X64_MSR_STIMER0_COUNT:
case HV_X64_MSR_STIMER0_COUNT:
int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;
case HV_X64_MSR_STIMER0_COUNT:
int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;
#define HV_MSR_STIMER0_COUNT (HV_X64_MSR_STIMER0_COUNT)