/* Reload the watchdog timer. (ie, pat the watchdog)  */
static void at91_wdt_reload(void)
/* Reload the watchdog timer. (ie, pat the watchdog)  */
static void at91_wdt_reload(void)
{
	at91_sys_write(AT91_ST_CR, AT91_ST_WDRST);
}