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