Symbol: HV_MSR_STIMER0_CONFIG
drivers/clocksource/hyperv_timer.c
124
hv_set_msr(HV_MSR_STIMER0_CONFIG, timer_cfg.as_uint64);
drivers/clocksource/hyperv_timer.c
93
hv_set_msr(HV_MSR_STIMER0_CONFIG, 0);