at91_wdt_settimeout
if (at91_wdt_settimeout(new_value))
if (at91_wdt_settimeout(wdt_time)) {
at91_wdt_settimeout(WDT_DEFAULT_TIME);