Searched refs:wdt_timer (Results 1 – 1 of 1) sorted by relevance
59 uint32_t wdt_timer; member75 .wdt_timer = 4,82 .wdt_timer = 2,89 .wdt_timer = 2,364 mv_set_timer(wdt_softc->wdt_config->wdt_timer, ticks); in mv_watchdog_event()