/* The Timer 3 default IRQ, declared in start up code.  */
void TIMER3IntHandler(void)
/* The Timer 3 default IRQ, declared in start up code.  */
void TIMER3IntHandler(void)
{
    unsigned long ulBase = TIMER3_BASE;
    unsigned long ulTemp0;
    ulTemp0 = (xHWREG(ulBase + TIMER_O_TISR) & TIMER_TISR_TIF);
    xHWREG(ulBase + TIMER_O_TISR) = ulTemp0;
    if (g_pfnTimerHandlerCallbacks[3] != 0)        
    {
        g_pfnTimerHandlerCallbacks[3](0, 0, ulTemp0, 0);
    }
}