/* 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 == WDT_BASE));
    IntRegister(INT_WDT, pfnHandler);
    IntEnable(INT_WDT);
}