/* Disable the Watchdog timer. This function is to Disable the Watchdog timer module and stop the counter.  */
void xWDTDisable(unsigned long ulBase)
/* Disable the Watchdog timer. This function is to Disable the Watchdog timer module and stop the counter.  */
void xWDTDisable(unsigned long ulBase)
{
	xASSERT(ulBase == xWDT_BASE);
    SysCtlKeyAddrUnlock();
    xHWREG(WDT_WTCR) &= ~WDT_WTCR_WTE;
    SysCtlKeyAddrLock();
}