/* Configure the mode of the RSTC peripheral. The configuration is computed by the lib (AT91C_RSTC_*).  */
void RSTC_ConfigureMode(AT91PS_RSTC rstc, unsigned int rmr)
/* Configure the mode of the RSTC peripheral. The configuration is computed by the lib (AT91C_RSTC_*).  */
void RSTC_ConfigureMode(AT91PS_RSTC rstc, unsigned int rmr)
{
    rmr &= ~AT91C_RSTC_KEY;
    WRITE_RSTC(rstc, RSTC_RMR, rmr | RSTC_KEY_PASSWORD);
}