Searched refs:hv_setup_sched_clock (Results 1 – 3 of 3) sorted by relevance
299 hv_setup_sched_clock(read_hv_sched_clock_tsc); in hv_init_tsc_clocksource()324 hv_setup_sched_clock(read_hv_sched_clock_msr); in hv_init_clocksource()
170 void hv_setup_sched_clock(void *sched_clock);
351 void hv_setup_sched_clock(void *sched_clock) in hv_setup_sched_clock() function
