/* Timer 3 Interrupt handler. This function is startup code handler entry.  */
void TIMER3IntHandler(void)
/* Timer 3 Interrupt handler. This function is startup code handler entry.  */
void TIMER3IntHandler(void)
{
    if( g_pfnTimerHandlerCallbacks[3] != 0 )
    {
        g_pfnTimerHandlerCallbacks[3](0, 0, 0, 0);
    }
    else
    {
        while(1);
    }
}