Searched refs:wdt_timer (Results 1 – 1 of 1) sorted by relevance
63 uint32_t wdt_timer; member79 .wdt_timer = 4,87 .wdt_timer = 2,95 .wdt_timer = 2,371 mv_set_timer(wdt_softc->wdt_config->wdt_timer, ticks); in mv_watchdog_event()