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