/* 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;
    if(CLASS_IS_FURY)
    {
        SysCtlDelay(g_ulWriteDelay);
    }
    else
    {
        HibernateWriteComplete();
    }
}