/* Gets the value of the requested RTC match register. */
uint32_t HibernateRTCMatchGet(uint32_t ui32Match)
/* Gets the value of the requested RTC match register. */
uint32_t HibernateRTCMatchGet(uint32_t ui32Match)
{
    ASSERT(ui32Match == 0);
    return(HWREG(HIB_RTCM0));
}