/* Reload the watchdog timer. (ie, pat the watchdog)  */
static void at91_wdt_reset(void)
/* Reload the watchdog timer. (ie, pat the watchdog)  */
static void at91_wdt_reset(void)
{
	at91_sys_write(AT91_WDT_CR, AT91_WDT_KEY | AT91_WDT_WDRSTT);
}