Searched refs:read_tcr1 (Results 1 – 2 of 2) sorted by relevance
40 return 0xffffffffu - read_tcr1(); in iop_clocksource_read()56 return 0xffffffffu - read_tcr1(); in iop_read_sched_clock()
262 static inline u32 read_tcr1(void) in read_tcr1() function