/* Configures external clock mode of the GPTM. Used ETI as the clock source.  */
void TimerPrescalerConfigure(unsigned long ulBase, unsigned long ulPrescale, unsigned long ulPSCReloadTime)
/* Configures external clock mode of the GPTM. Used ETI as the clock source.  */
void TimerPrescalerConfigure(unsigned long ulBase, unsigned long ulPrescale, unsigned long ulPSCReloadTime)
{
    xASSERT((ulBase == TIMER1_BASE) || (ulBase == TIMER0_BASE));
    xASSERT((ulPSCReloadTime == TIMER_PSC_RLD_UPDATE) || 
            (ulPSCReloadTime == TIMER_PSC_RLD_IMMEDIATE));
    xHWREG(ulBase + TIMER_PSCR) = ulPrescale;
    xHWREG(ulBase + TIMER_EVGR) &= ~TIMER_EVGR_UEVG;
    xHWREG(ulBase + TIMER_EVGR) |= ulPSCReloadTime;
}