hv_setup_sched_clock  301 drivers/clocksource/hyperv_timer.c 	hv_setup_sched_clock(read_hv_sched_clock_tsc);
hv_setup_sched_clock  326 drivers/clocksource/hyperv_timer.c 	hv_setup_sched_clock(read_hv_sched_clock_msr);
hv_setup_sched_clock  170 include/asm-generic/mshyperv.h void hv_setup_sched_clock(void *sched_clock);