/* Unregisters an interrupt handler for the watchdog timer interrupt. */
void WatchdogIntUnregister(unsigned long ulBase)
/* Unregisters an interrupt handler for the watchdog timer interrupt. */
void WatchdogIntUnregister(unsigned long ulBase)
{
    ASSERT((ulBase == WDT_BASE));
    IntDisable(INT_WDT);
    IntUnregister(INT_WDT);
}