/* 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))
{
    ASSERT(ulBase == PWM_BASE);
    IntRegister(INT_PWM_FAULT, pfnIntHandler);
    IntEnable(INT_PWM_FAULT);
}