223 	u32 val;  in read_tmr0()  local
228 static inline void write_tmr0(u32 val)  in write_tmr0()
233 static inline void write_tmr1(u32 val)  in write_tmr1()
240 	u32 val;  in read_tcr0()  local
245 static inline void write_tcr0(u32 val)  in write_tcr0()
252 	u32 val;  in read_tcr1()  local
257 static inline void write_tcr1(u32 val)  in write_tcr1()
262 static inline void write_trr0(u32 val)  in write_trr0()
267 static inline void write_trr1(u32 val)  in write_trr1()
272 static inline void write_tisr(u32 val)  in write_tisr()
279 	u32 val;  in read_wdtcr()  local
283 static inline void write_wdtcr(u32 val)  in write_wdtcr()
298 static inline void write_wdtsr(u32 val)  in write_wdtsr()