/* Restart the Watchdog timer counter. This function is to restart the Watchdog timer by feed watchdog.  */
void xWDTRestart(unsigned long ulBase)
/* Restart the Watchdog timer counter. This function is to restart the Watchdog timer by feed watchdog.  */
void xWDTRestart(unsigned long ulBase)
{
	xASSERT(ulBase == xWDT_BASE);
    SysCtlKeyAddrUnlock();
    xHWREG(WDT_WTCR) |= WDT_WTCR_WTR;
    SysCtlKeyAddrLock();
}