/* Get flag bits of status register in the RTC.  */
unsigned int RTC_GetSR(unsigned int mask)
/* Get flag bits of status register in the RTC.  */
unsigned int RTC_GetSR(unsigned int mask)
{
    unsigned int event;
    event = AT91C_BASE_RTC->RTC_SR;
    return (event & mask);
}