/* Gets the value of the match 1 register for the RTC. */
unsigned long HibernateRTCMatch1Get(void)
/* Gets the value of the match 1 register for the RTC. */
unsigned long HibernateRTCMatch1Get(void)
{
    return(HWREG(HIB_RTCM1));
}