/* Reset Timer Counter. This function is used to reset timer counter.  */
void TimerReset(unsigned long ulBase)
/* Reset Timer Counter. This function is used to reset timer counter.  */
void TimerReset(unsigned long ulBase)
{
    xASSERT((ulBase == TIMER0_BASE) || (ulBase == TIMER1_BASE) ||
            (ulBase == TIMER2_BASE) || (ulBase == TIMER3_BASE) );
    xHWREG(ulBase + TIMER_TCR) |=  TCR_CNT_RST;
    xHWREG(ulBase + TIMER_TCR) &= ~TCR_CNT_RST;
}