AT91_SAM9X60_WLR
wdt_write(wdt, AT91_SAM9X60_WLR,
wdt_write(wdt, AT91_SAM9X60_WLR, AT91_SAM9X60_SET_COUNTER(val));