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