/* The Timer 1 default IRQ, declared in start up code.  */
void TIMER1IntHandler(void)
/* The Timer 1 default IRQ, declared in start up code.  */
void TIMER1IntHandler(void)
{
    unsigned long ulBase = TIMER1_BASE;
    unsigned long ulTemp0;
    ulTemp0 = xHWREG(ulBase + TIMER_ICTR) ;
    xHWREG(ulBase + TIMER_ICTR) = ulTemp0;  
    if (g_pfnTimerHandlerCallbacks[1] != 0)        
    {
        g_pfnTimerHandlerCallbacks[1](0, 0, ulTemp0, 0);
    }
}