hv_init_timer      61 drivers/clocksource/hyperv_timer.c 	hv_init_timer(0, current_tick);
hv_init_timer      67 drivers/clocksource/hyperv_timer.c 	hv_init_timer(0, 0);