/* The fault interrupts are derived by performing a logical OR of each of the configured fault trigger signals for a given generator. Therefore, these interrupts are not directly related to the four possible FAULTn inputs to the device but indicate that a fault has been signaled to one of the four possible PWM generators. */
void PWMFaultIntClearExt(uint32_t ui32Base, uint32_t ui32FaultInts)
/* The fault interrupts are derived by performing a logical OR of each of the configured fault trigger signals for a given generator. Therefore, these interrupts are not directly related to the four possible FAULTn inputs to the device but indicate that a fault has been signaled to one of the four possible PWM generators. */
void PWMFaultIntClearExt(uint32_t ui32Base, uint32_t ui32FaultInts)
{
    ASSERT(ui32Base == PWM0_BASE);
    ASSERT((ui32FaultInts & ~(PWM_INT_FAULT0 | PWM_INT_FAULT1 |
                              PWM_INT_FAULT2 | PWM_INT_FAULT3)) == 0);
    HWREG(ui32Base + PWM_O_ISC) = ui32FaultInts;
}