/* Sets the value of the real time clock (RTC) counter. */
void HibernateRTCSet(unsigned long ulRTCValue)
/* Sets the value of the real time clock (RTC) counter. */
void HibernateRTCSet(unsigned long ulRTCValue)
{
    HWREG(HIB_RTCLD) = ulRTCValue;
    HibernateWriteComplete();
}