/* Get the Falling Latched PWM counter of the PWM module. 
The  */
void PWMCAPLatchFlagClear(unsigned long ulBase, unsigned long ulChannel)
/* Get the Falling Latched PWM counter of the PWM module. 
The  */
void PWMCAPLatchFlagClear(unsigned long ulBase, unsigned long ulChannel)
{
    unsigned long ulChannelTemp;
    ulChannelTemp = (ulBase == PWMA_BASE) ? ulChannel : (ulChannel - 4);
    xASSERT((ulBase == PWMA_BASE) || (ulBase == PWMB_BASE));
    xASSERT(((ulChannelTemp >= 0) || (ulChannelTemp <= 3)));
    xHWREG(ulBase + PWM_CCR0 + (ulChannelTemp >> 1)*4) |= 
            ((PWM_CCR0_CRLRI0 | PWM_CCR0_CFLRI0 | PWM_CCR0_CAPIF0) 
            << ((ulChannel % 2) ? 16 : 0));
}