/* Initializes input capture of the Timer channel. 
The  */
void TimerCHPSCConfigure(unsigned long ulBase, unsigned long ulChannel, unsigned long ulPrescaler)
/* Initializes input capture of the Timer channel. 
The  */
void TimerCHPSCConfigure(unsigned long ulBase, unsigned long ulChannel, unsigned long ulPrescaler)
{
    xASSERT((ulBase == TIMER1_BASE) || (ulBase == TIMER0_BASE)); 
    xASSERT((ulChannel == TIMER_CH_0) || (ulChannel == TIMER_CH_1) ||
            (ulChannel == TIMER_CH_2) || (ulChannel == TIMER_CH_3)); 
    xASSERT((ulPrescaler == TIMER_CHPSC_OFF) || (ulPrescaler == TIMER_CHPSC_2) ||
            (ulPrescaler == TIMER_CHPSC_4) || (ulPrescaler == TIMER_CHPSC_8));
    xHWREG(ulBase + TIMER_CH0ICFR + ulChannel * 4) &= ~TIMER_CH0ICFR_CH0PSC_M;
    xHWREG(ulBase + TIMER_CH0ICFR + ulChannel * 4) |= ulPrescaler;
}