Searched refs:tc_sched_clock (Results 1 – 1 of 1) sorted by relevance
379 u64 (*tc_sched_clock)(void); in tcb_clksrc_init() local462 tc_sched_clock = tc_sched_clock_read32; in tcb_clksrc_init()475 tc_sched_clock = tc_sched_clock_read; in tcb_clksrc_init()489 sched_clock_register(tc_sched_clock, 32, divided_rate); in tcb_clksrc_init()
