Searched refs:timer_read (Results 1 – 1 of 1) sorted by relevance
58 static inline uint32_t timer_read(void) in timer_read() function72 return timer_read(); in mmp_read_sched_clock()157 return timer_read(); in clksrc_read()