/* Enable the watch dog timer's function. This function is to Enable the watch dog timer's function such as Interrupt reset.  */
void xWDTFunctionEnable(unsigned long ulBase, unsigned long ulFunction)
/* Enable the watch dog timer's function. This function is to Enable the watch dog timer's function such as Interrupt reset.  */
void xWDTFunctionEnable(unsigned long ulBase, unsigned long ulFunction)
{
	xASSERT(ulBase == xWDT_BASE);
    xASSERT(((ulFunction & WDT_INT_FUNCTION) == WDT_INT_FUNCTION) || 
            ((ulFunction & WDT_RESET_FUNCTION) == WDT_RESET_FUNCTION) ||
            ((ulFunction & WDT_WAKEUP_FUNCTION) == WDT_WAKEUP_FUNCTION) ||
            ((ulFunction & WDT_HOLD_IN_ICE) == WDT_HOLD_IN_ICE));
    SysCtlKeyAddrUnlock();
    xHWREG(WDT_WTCR) |= ulFunction;
    SysCtlKeyAddrLock();
}