/* Get the Rising Latched PWM counter of the PWM module. 
The  */
unsigned long PWMCAPRisingCounterGet(unsigned long ulBase, unsigned long ulChannel)
/* Get the Rising Latched PWM counter of the PWM module. 
The  */
unsigned long PWMCAPRisingCounterGet(unsigned long ulBase, unsigned long ulChannel)
{
    unsigned long ulChannelTemp;
    ulChannelTemp = ulChannel;
    xASSERT((ulBase == PWMA_BASE) || (ulBase == PWMB_BASE));
    xASSERT(((ulChannelTemp >= 0) || (ulChannelTemp <= 5)));
    return xHWREG(ulBase + PWM_RCAPDAT0 + ulChannelTemp * 8);
}