read_hv_clock_tsc  236 drivers/clocksource/hyperv_timer.c 	return (read_hv_clock_tsc(NULL) - hv_sched_clock_offset) *
read_hv_clock_tsc  243 drivers/clocksource/hyperv_timer.c 	.read	= read_hv_clock_tsc,