Searched refs:wdt_timer (Results 1 – 1 of 1) sorted by relevance
62 uint32_t wdt_timer; member78 .wdt_timer = 4,86 .wdt_timer = 2,94 .wdt_timer = 2,371 mv_set_timer(wdt_softc->wdt_config->wdt_timer, ticks); in mv_watchdog_event()