Symbol: HV_MSR_STIMER0_COUNT
drivers/clocksource/hyperv_timer.c
86
hv_set_msr(HV_MSR_STIMER0_COUNT, current_tick);
drivers/clocksource/hyperv_timer.c
92
hv_set_msr(HV_MSR_STIMER0_COUNT, 0);