Searched refs:tc_sched_clock (Results 1 – 1 of 1) sorted by relevance
380 u64 (*tc_sched_clock)(void); in tcb_clksrc_init() local463 tc_sched_clock = tc_sched_clock_read32; in tcb_clksrc_init()476 tc_sched_clock = tc_sched_clock_read; in tcb_clksrc_init()490 sched_clock_register(tc_sched_clock, 32, divided_rate); in tcb_clksrc_init()