/* Register user interrupt callback function for the Watchdog timer.  */
void xWDTIntCallbackInit(unsigned long ulBase, xtEventCallback xtWDTCallback)
/* Register user interrupt callback function for the Watchdog timer.  */
void xWDTIntCallbackInit(unsigned long ulBase, xtEventCallback xtWDTCallback)
{
	WDTimerIntCallbackInit(xtWDTCallback);
}