Searched refs:tc_sched_clock (Results 1 – 1 of 1) sorted by relevance
362 u64 (*tc_sched_clock)(void); in tcb_clksrc_init() local447 tc_sched_clock = tc_sched_clock_read32; in tcb_clksrc_init()460 tc_sched_clock = tc_sched_clock_read; in tcb_clksrc_init()474 sched_clock_register(tc_sched_clock, 32, divided_rate); in tcb_clksrc_init()
