/* 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)
{
	xASSERT(ulBase == xWDT_BASE);
    xASSERT((ulConfig == WDT_INTERVAL_2_4T) || 
            (ulConfig == WDT_INTERVAL_2_6T) ||
            (ulConfig == WDT_INTERVAL_2_8T) ||
            (ulConfig == WDT_INTERVAL_2_10T) ||
            (ulConfig == WDT_INTERVAL_2_12T) ||
            (ulConfig == WDT_INTERVAL_2_14T) ||
            (ulConfig == WDT_INTERVAL_2_16T) ||
            (ulConfig == WDT_INTERVAL_2_18T));         
    SysCtlKeyAddrUnlock();
    xHWREG(WDT_WTCR) &= ~WDT_WTCR_WTE;
    xHWREG(WDT_WTCR) &= ~WDT_WTCR_WTIS_M;
    xHWREG(WDT_WTCR) |= ulReload;
    SysCtlKeyAddrLock();
}