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