/* Registers an interrupt handler for a fault condition detected in a PWM module. */
void PWMFaultIntRegister(uint32_t ui32Base, void(*pfnIntHandler)(void))
/* Registers an interrupt handler for a fault condition detected in a PWM module. */
void PWMFaultIntRegister(uint32_t ui32Base, void(*pfnIntHandler)(void))
{
    uint32_t ui32Int;
    ASSERT((ui32Base == PWM0_BASE) || (ui32Base == PWM1_BASE));
    ui32Int = _PWMFaultIntNumberGet(ui32Base);
    ASSERT(ui32Int != 0);
    IntRegister(ui32Int, pfnIntHandler);
    IntEnable(ui32Int);
}