/* Sets the value of the RTC match register. */
void HibernateRTCMatchSet(uint32_t ui32Match, uint32_t ui32Value)
/* Sets the value of the RTC match register. */
void HibernateRTCMatchSet(uint32_t ui32Match, uint32_t ui32Value)
{
    ASSERT(ui32Match == 0);
    HWREG(HIB_RTCM0) = ui32Value;
    _HibernateWriteComplete();
}