/* Disables the timer/counter for a PWM generator block. */
void PWMGenDisable(uint32_t ui32Base, uint32_t ui32Gen)
/* Disables the timer/counter for a PWM generator block. */
void PWMGenDisable(uint32_t ui32Base, uint32_t ui32Gen)
{
    ASSERT(ui32Base == PWM0_BASE);
    ASSERT(_PWMGenValid(ui32Gen));
    HWREG(PWM_GEN_BADDR(ui32Base, ui32Gen) + PWM_O_X_CTL) &=
        ~(PWM_X_CTL_ENABLE);
}