/* UART 3 interrupt handler. This function is the UART interrupt handler, it simple execute the callback function if there be one.  */
void UART3IntHandler(void)
/* UART 3 interrupt handler. This function is the UART interrupt handler, it simple execute the callback function if there be one.  */
void UART3IntHandler(void)
{
    if(g_pfnWDTHandlerCallbacks != 0)
    {
        g_pfnWDTHandlerCallbacks[3](0, 0, 0, 0);
    }
    else
    {
        while(1);
    }
}