/* Implementation of handler named in startup code. 
Passes 0 to generic PWM IRQ handler.  */
void PWMA_FAULT_IRQHandler(void)
/* Implementation of handler named in startup code. 
Passes 0 to generic PWM IRQ handler.  */
void PWMA_FAULT_IRQHandler(void)
{
    PWM_HAL_ClearFaultFlags(g_pwmBase[0], 0x7U);
}