/* Enable the Watchdog timer module. This function is to Enable the Watchdog timer and start counter.  */
void xWDTEnable(unsigned long ulBase)
/* Enable the Watchdog timer module. This function is to Enable the Watchdog timer and start counter.  */
void xWDTEnable(unsigned long ulBase)
{
	xASSERT(ulBase == xWDT_BASE);
    SysCtlKeyAddrUnlock();
    xHWREG(WDT_WTCR) |= WDT_WTCR_WTE;
    SysCtlKeyAddrLock();
}