Searched refs:wdt_timer (Results 1 – 1 of 1) sorted by relevance
60 uint32_t wdt_timer; member77 .wdt_timer = 4,85 .wdt_timer = 2,93 .wdt_timer = 2,368 mv_set_timer(wdt_softc->wdt_config->wdt_timer, ticks); in mv_watchdog_event()