Searched refs:timer_watchdog_update (Results 1 – 1 of 1) sorted by relevance
251 static inline void timer_watchdog_update(ETRAXTimerState *t, uint32_t value) in timer_watchdog_update() function319 timer_watchdog_update(t, value); in timer_write()