251 static inline void timer_watchdog_update(ETRAXTimerState *t, uint32_t value)  in timer_watchdog_update()  argument
256     unsigned int new_key = value >> 9 & ((1 << 7) - 1);  in timer_watchdog_update()
257     unsigned int new_cmd = (value >> 8) & 1;  in timer_watchdog_update()
284     t->rw_wd_ctrl = value;  in timer_watchdog_update()
293     uint32_t value = val64;  in timer_write()  local
298             t->rw_tmr0_div = value;  in timer_write()
301             D(printf ("RW_TMR0_CTRL=%x\n", value));  in timer_write()
302             t->rw_tmr0_ctrl = value;  in timer_write()
306             t->rw_tmr1_div = value;  in timer_write()
309             D(printf ("RW_TMR1_CTRL=%x\n", value));  in timer_write()
310             t->rw_tmr1_ctrl = value;  in timer_write()
314             D(printf ("RW_INTR_MASK=%x\n", value));  in timer_write()
315             t->rw_intr_mask = value;  in timer_write()
319             timer_watchdog_update(t, value);  in timer_write()
322             t->rw_ack_intr = value;  in timer_write()
327             printf("%s " HWADDR_FMT_plx " %x\n", __func__, addr, value);  in timer_write()