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