/* The PWMA default IRQ, declared in StartUp code.  */
void PWM0CH4_IRQHandler(void)
/* The PWMA default IRQ, declared in StartUp code.  */
void PWM0CH4_IRQHandler(void)
{
    unsigned long ulPWMStastus;
    unsigned long ulBase = PWMA_BASE;
    ulPWMStastus = xHWREG(ulBase + PWM_INTSTS) & 0x10101010;
    xHWREG(ulBase + PWM_INTSTS) = ulPWMStastus;
    if (g_pfnPWMHandlerCallbacks[0] != 0)
    {
        if(ulPWMStastus & 0x1010)
        {
            g_pfnPWMHandlerCallbacks[0](0, PWM_EVENT_PWM, ulPWMStastus, 0);
        }
        if((ulPWMStastus & 0x10100000))
        {
            g_pfnPWMHandlerCallbacks[0](0, PWM_EVENT_CAP, (1 << PWM_CHANNEL4), 0);
        }
    }
}