/* Enable/Disable the interrupt of a User Reset (USRTS bit in RSTC_RST).  */
void RSTC_SetUserResetInterruptEnable(unsigned char enable)
/* Enable/Disable the interrupt of a User Reset (USRTS bit in RSTC_RST).  */
void RSTC_SetUserResetInterruptEnable(unsigned char enable)
{
    unsigned int rmr = AT91C_BASE_RSTC->RSTC_RMR & (~AT91C_RSTC_KEY);
    if (enable) {
        rmr |=  AT91C_RSTC_URSTIEN;
    }
    else {
        rmr &= ~AT91C_RSTC_URSTIEN;
    }
    AT91C_BASE_RSTC->RSTC_RMR = rmr | RSTC_KEY_PASSWORD;
}