/* The WatchDog Timer(WDT) default IRQ, declared in StartUp code.  */
void WDT_IRQHandler(void)
/* The WatchDog Timer(WDT) default IRQ, declared in StartUp code.  */
void WDT_IRQHandler(void)
{
    xHWREG(WDT_WTCR) |= WDT_WTCR_WTIF;
    if (g_pfnWATCHDOGHandlerCallbacks[0] != 0)
    {
        g_pfnWATCHDOGHandlerCallbacks[0](0, 0, 0, 0);
    }
}