/* Disable the PWM output of the PWM module. 
The  */
void xPWMOutputDisable(unsigned long ulBase, unsigned long ulChannel)
/* Disable the PWM output of the PWM module. 
The  */
void xPWMOutputDisable(unsigned long ulBase, unsigned long ulChannel)
{
    xASSERT(ulBase == PWMA_BASE);
    xASSERT(((ulChannel >= 0) || (ulChannel <= 1)));
    xHWREG(ulBase + PWM_POE) &= ~(PWM_POE_PWM0 << (ulChannel));
}