/* Return NRST pin level ( 1 or 0 ).  */
unsigned char RSTC_GetNrstLevel(AT91PS_RSTC rstc)
/* Return NRST pin level ( 1 or 0 ).  */
unsigned char RSTC_GetNrstLevel(AT91PS_RSTC rstc)
{
    if (READ_RSTC(rstc, RSTC_RSR) & AT91C_RSTC_NRSTL) {
        return 1;
    }
    return 0;
}