/* Disable the watch dog timer's function. This function is to disable the watch dog timer's function such as Interrupt reset.  */
void xWDTFunctionDisable(unsigned long ulBase, unsigned long ulFunction)
/* Disable the watch dog timer's function. This function is to disable the watch dog timer's function such as Interrupt reset.  */
void xWDTFunctionDisable(unsigned long ulBase, unsigned long ulFunction)
{
    (void) ulBase;
    (void) ulFunction;
    xASSERT(ulBase == xWDT_BASE);
    xASSERT((ulFunction == xWDT_INT_FUNCTION) || (ulFunction == xWDT_RESET_FUNCTION));
    xHWREG(WDT_BASE + WDT_MOD) = 0x00;
    xHWREG(WDT_BASE + WDT_FEED) = (unsigned long) 0xAA;
    xHWREG(WDT_BASE + WDT_FEED) = (unsigned long) 0x55;
}