/* 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 == WATCHDOG0_BASE) || (ulBase == WATCHDOG1_BASE));
    IntDisable(INT_WATCHDOG);
    IntUnregister(INT_WATCHDOG);
}