/* Returns 1 if at least one high-to-low transition of NRST (User Reset) has been detected since the last read of RSTC_RSR.  */
unsigned char RSTC_IsUserResetDetected(void)
/* Returns 1 if at least one high-to-low transition of NRST (User Reset) has been detected since the last read of RSTC_RSR.  */
unsigned char RSTC_IsUserResetDetected(void)
{
    if (AT91C_BASE_RSTC->RSTC_RSR & AT91C_RSTC_URSTS) {
        return 1;
    }
    return 0;
}