Searched refs:timer32_read (Results 1 – 1 of 1) sorted by relevance
152 static inline u32 timer32_read(struct timer_s *t) in timer32_read() function267 return (cycles_t)timer32_read(t); in read_cycles()282 return timer32_read(&timers[TID_CLOCKSOURCE]); in davinci_read_sched_clock()