/* Sets the value of the real time clock (RTC) counter. */
void HibernateRTCSet(uint32_t ui32RTCValue)
/* Sets the value of the real time clock (RTC) counter. */
void HibernateRTCSet(uint32_t ui32RTCValue)
{
    HWREG(HIB_RTCLD) = ui32RTCValue;
    _HibernateWriteComplete();
}