/* Unregisters an interrupt handler for the watchdog timer interrupt. */
void WatchdogIntUnregister(uint32_t ui32Base)
/* Unregisters an interrupt handler for the watchdog timer interrupt. */
void WatchdogIntUnregister(uint32_t ui32Base)
{
    ASSERT((ui32Base == WATCHDOG0_BASE) || (ui32Base == WATCHDOG1_BASE));
    IntDisable(INT_WATCHDOG);
    IntUnregister(INT_WATCHDOG);
}