/* Select the Watchdog timer reset delay period. This function is to select the Watchdog timer reset delay period.  */
void WDTRestartDelayPeriod(unsigned long ulBase, unsigned long ulPeriod)
/* Select the Watchdog timer reset delay period. This function is to select the Watchdog timer reset delay period.  */
void WDTRestartDelayPeriod(unsigned long ulBase, unsigned long ulPeriod)
{
	xASSERT(ulBase == xWDT_BASE);
    SysCtlKeyAddrUnlock();
    xHWREG(WDT_WTCRALT) &= ~WDT_WTCRALT_WTRDSEL_M;
    xHWREG(WDT_WTCRALT) |= ulPeriod;
    SysCtlKeyAddrLock();
}