234 	u32 val;  in read_tmr0()  local
239 static inline void write_tmr0(u32 val)  in write_tmr0()
244 static inline void write_tmr1(u32 val)  in write_tmr1()
251 	u32 val;  in read_tcr0()  local
256 static inline void write_tcr0(u32 val)  in write_tcr0()
263 	u32 val;  in read_tcr1()  local
268 static inline void write_tcr1(u32 val)  in write_tcr1()
273 static inline void write_trr0(u32 val)  in write_trr0()
278 static inline void write_trr1(u32 val)  in write_trr1()
283 static inline void write_tisr(u32 val)  in write_tisr()
290 	u32 val;  in read_wdtcr()  local
294 static inline void write_wdtcr(u32 val)  in write_wdtcr()
309 static inline void write_wdtsr(u32 val)  in write_wdtsr()