Searched refs:read_sched_clock (Results 1 – 2 of 2) sorted by relevance
142 static u64 notrace read_sched_clock(void) in read_sched_clock() function163 sched_clock_register(read_sched_clock, 32, sched_rate); in init_sched_clock()
1397 if (rd->read_sched_clock != arch_timer_read_counter) in device_initcall()