/* Set timer counter value. This function is used to set timer clock counter value.  */
void TimerLoadSet(unsigned long ulBase, unsigned long ulValue)
/* Set timer counter value. This function is used to set timer clock counter value.  */
void TimerLoadSet(unsigned long ulBase, unsigned long ulValue)
{
    xASSERT((ulBase == TIMER0_BASE) || (ulBase == TIMER1_BASE) ||
            (ulBase == TIMER2_BASE) || (ulBase == TIMER3_BASE) );
    xHWREG(ulBase + TIMER_TC) = ulValue;
}