/* Registers an interrupt handler for a fault condition detected in a PWM module. */
void PWMFaultIntRegister(unsigned long ulBase, void(*pfnIntHandler)(void))
/* Registers an interrupt handler for a fault condition detected in a PWM module. */
void PWMFaultIntRegister(unsigned long ulBase, void(*pfnIntHandler)(void))
{
    unsigned long ulInt;
    ASSERT((ulBase == PWM0_BASE) || (ulBase == PWM1_BASE));
    ulInt = PWMFaultIntGet(ulBase);
    IntRegister(ulInt, pfnIntHandler);
    IntEnable(ulInt);
}