WDT_DEFAULT_TIME
at91_wdt_settimeout(WDT_DEFAULT_TIME);
static int wdt_time = WDT_DEFAULT_TIME;
__MODULE_STRING(WDT_DEFAULT_TIME) ")");
wdt->wdd.timeout = WDT_DEFAULT_TIME;
static int timeout = WDT_DEFAULT_TIME;
__MODULE_STRING(WDT_DEFAULT_TIME) ")");