hv_init_timer_config   68 drivers/clocksource/hyperv_timer.c 	hv_init_timer_config(0, 0);
hv_init_timer_config   98 drivers/clocksource/hyperv_timer.c 	hv_init_timer_config(0, timer_cfg.as_uint64);