/* Configurate The WatchDog Timer(WDT)'s Timer Interval. This function is to configure The WatchDog Timer(WDT)'s Timer Interval. There are three factors to determine the Timer Interval, they are:  */
void xWDTInit(unsigned long ulBase, unsigned long ulConfig, unsigned long ulReload)
/* Configurate The WatchDog Timer(WDT)'s Timer Interval. This function is to configure The WatchDog Timer(WDT)'s Timer Interval. There are three factors to determine the Timer Interval, they are:  */
void xWDTInit(unsigned long ulBase, unsigned long ulConfig, unsigned long ulReload)
{
	SysCtlIPClockDividerSet(ulConfig);
	WDTimerInit(ulReload);
}