/* Registers an interrupt handler for watchdog timer interrupt. */
void WatchdogIntRegister(unsigned long ulBase, void(*pfnHandler)(void))
/* Registers an interrupt handler for watchdog timer interrupt. */
void WatchdogIntRegister(unsigned long ulBase, void(*pfnHandler)(void))
{
    ASSERT((ulBase == WATCHDOG0_BASE) || (ulBase == WATCHDOG1_BASE));
    IntRegister(INT_WATCHDOG, pfnHandler);
    IntEnable(INT_WATCHDOG);
}