/* Enable the PWM output of the PWM module. 
The  */
void PWMOutputEnable(unsigned long ulBase, unsigned long ulChannel)
/* Enable the PWM output of the PWM module. 
The  */
void PWMOutputEnable(unsigned long ulBase, unsigned long ulChannel)
{
    unsigned long ulChannelTemp;
    ulChannelTemp = (ulBase == PWMA_BASE) ? ulChannel : (ulChannel - 4);
    xASSERT(ulBase == PWMA_BASE);
    xASSERT(((ulChannelTemp >= 0) || (ulChannelTemp <= 3)));
    xHWREG(ulBase + PWM_POE) |= (PWM_POE_PWM0 << (ulChannelTemp));
}