Searched refs:hv_setup_sched_clock (Results 1 – 1 of 1) sorted by relevance
515 static __always_inline void hv_setup_sched_clock(void *sched_clock) in hv_setup_sched_clock() function525 static __always_inline void hv_setup_sched_clock(void *sched_clock) in hv_setup_sched_clock() function531 static __always_inline void hv_setup_sched_clock(void *sched_clock) {} in hv_setup_sched_clock() function591 hv_setup_sched_clock(read_hv_sched_clock_tsc); in hv_init_tsc_clocksource()