/* RTC Seconds interrupt handler. Clear the RTC interrupt flag and  */
void RTCSIntHandler(void)
/* RTC Seconds interrupt handler. Clear the RTC interrupt flag and  */
void RTCSIntHandler(void)
{
    unsigned long ulEventFlags;
    ulEventFlags = (xHWREG(RTC_SR) & (RTC_SR_TOF | RTC_SR_TIF));
    if(ulEventFlags)
    {
        xHWREG(RTC_SR) &= ~RTC_SR_TCE;
        xHWREG(RTC_TSR) = 0x00000000;
    }
    if(g_pfnRTCHandlerCallbacks[1] != 0)
    {
        g_pfnRTCHandlerCallbacks[1](0, 0, ulEventFlags, 0);
    }
}