hv_get_time_ref_count  229 drivers/clocksource/hyperv_timer.c 		hv_get_time_ref_count(current_tick);
hv_get_time_ref_count  256 drivers/clocksource/hyperv_timer.c 	hv_get_time_ref_count(current_tick);