/* 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)
{
    xASSERT(ulBase == PWMA_BASE);
    xASSERT(((ulChannel >= 0) || (ulChannel <= 3)));
    return xHWREG(ulBase + PWM_CRLR0 + ulChannel * 8);
}