HV_X64_MSR_STIMER0_COUNT   16 arch/x86/include/asm/mshyperv.h 	wrmsrl(HV_X64_MSR_STIMER0_COUNT + (2*timer), tick)
HV_X64_MSR_STIMER0_COUNT 1167 arch/x86/kvm/hyperv.c 	case HV_X64_MSR_STIMER0_COUNT:
HV_X64_MSR_STIMER0_COUNT 1171 arch/x86/kvm/hyperv.c 		int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;
HV_X64_MSR_STIMER0_COUNT 1275 arch/x86/kvm/hyperv.c 	case HV_X64_MSR_STIMER0_COUNT:
HV_X64_MSR_STIMER0_COUNT 1279 arch/x86/kvm/hyperv.c 		int timer_index = (msr - HV_X64_MSR_STIMER0_COUNT)/2;