/* Get RTC Interrupt status. This function is used to get RTC interrupt status.  */
unsigned long RTCIntFlagGet(void)
/* Get RTC Interrupt status. This function is used to get RTC interrupt status.  */
unsigned long RTCIntFlagGet(void)
{
    return xHWREG(RTC_BASE + RTC_ILR);
}