/* Register user interrupt callback function for the Watchdog timer.  */
void xWDTimerIntCallbackInit(unsigned long ulBase, xtEventCallback xtWDTCallback)
/* Register user interrupt callback function for the Watchdog timer.  */
void xWDTimerIntCallbackInit(unsigned long ulBase, xtEventCallback xtWDTCallback)
{
	xASSERT(ulBase == xWDT_BASE);
    if (xtWDTCallback != 0)
    {
        g_pfnWATCHDOGHandlerCallbacks[0] = xtWDTCallback;
    }
}