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);