/* Disables the timer/counter for a PWM generator block. */
void PWMGenDisable(unsigned long ulBase, unsigned long ulGen)
/* Disables the timer/counter for a PWM generator block. */
void PWMGenDisable(unsigned long ulBase, unsigned long ulGen)
{
    ASSERT((ulBase == PWM0_BASE) || (ulBase == PWM1_BASE));
    ASSERT(PWMGenValid(ulGen));
    HWREG(PWM_GEN_BADDR(ulBase, + ulGen) + PWM_O_X_CTL) &= ~(PWM_X_CTL_ENABLE);
}