/* Set the tick mode of the RTC tick interrupt. 
The  */
void RTCTickModeSet(unsigned long ulTickMode)
/* Set the tick mode of the RTC tick interrupt. 
The  */
void RTCTickModeSet(unsigned long ulTickMode)
{
    xASSERT((ulTickMode == RTC_TIME_TICK_1) ||
            (ulTickMode == RTC_TIME_TICK_1_2) ||
            (ulTickMode == RTC_TIME_TICK_1_4) ||
            (ulTickMode == RTC_TIME_TICK_1_8) ||
            (ulTickMode == RTC_TIME_TICK_1_16) ||
            (ulTickMode == RTC_TIME_TICK_1_32) ||
            (ulTickMode == RTC_TIME_TICK_1_64) ||
            (ulTickMode == RTC_TIME_TICK_1_128));
    RTCWriteEnable();
    xHWREG(RTC_TTR) = ulTickMode;
}