Searched refs:read_tcr1 (Results 1 – 3 of 3) sorted by relevance
52 offset = next_jiffy_time - read_tcr1(); in iop_gettimeoffset()62 while ((signed long)(next_jiffy_time - read_tcr1()) in iop_timer_interrupt()
86 static inline u32 read_tcr1(void) in read_tcr1() function
255 static inline u32 read_tcr1(void) in read_tcr1() function