/* Enables generator and fault interrupts for a PWM module. */
void PWMIntEnable(uint32_t ui32Base, uint32_t ui32GenFault)
/* Enables generator and fault interrupts for a PWM module. */
void PWMIntEnable(uint32_t ui32Base, uint32_t ui32GenFault)
{
    ASSERT((ui32Base == PWM0_BASE) || (ui32Base == PWM1_BASE));
    ASSERT((ui32GenFault & ~(PWM_INT_GEN_0 | PWM_INT_GEN_1 | PWM_INT_GEN_2 |
                             PWM_INT_GEN_3 | PWM_INT_FAULT0 | PWM_INT_FAULT1 |
                             PWM_INT_FAULT2 | PWM_INT_FAULT3)) == 0);
    HWREG(ui32Base + PWM_O_INTEN) |= ui32GenFault;
}