/* Registers an interrupt handler for the watchdog timer interrupt. */
void WatchdogIntRegister(uint32_t ui32Base, void(*pfnHandler)(void))
/* Registers an interrupt handler for the watchdog timer interrupt. */
void WatchdogIntRegister(uint32_t ui32Base, void(*pfnHandler)(void))
{
    ASSERT((ui32Base == WATCHDOG0_BASE) || (ui32Base == WATCHDOG1_BASE));
    IntRegister(INT_WATCHDOG_BLIZZARD, pfnHandler);
    IntEnable(INT_WATCHDOG_BLIZZARD);
}