Searched refs:read_tcr1 (Results 1 – 3 of 3) sorted by relevance
43 return 0xffffffffu - read_tcr1(); in iop_clocksource_read()59 return 0xffffffffu - read_tcr1(); in iop_read_sched_clock()
100 static inline u32 read_tcr1(void) in read_tcr1() function
250 static inline u32 read_tcr1(void) in read_tcr1() function