WDT_SEC2TICKS
u32 value = WDT_SEC2TICKS(timeout);
val = WDT_SEC2TICKS(WDT_DEFAULT_TIMEOUT);
wdt->mr |= AT91_WDT_SET_WDD(WDT_SEC2TICKS(MAX_WDT_TIMEOUT));