/* Switch the watchdog timer to interrupt mode and register a watchdog timer timeout interrupt handler. The interrupt handler will be called when the watch-dog timer is timeout.  */
void watchdog_irq_init(wdt_irq_handler handler, uint32_t id)
/* Switch the watchdog timer to interrupt mode and register a watchdog timer timeout interrupt handler. The interrupt handler will be called when the watch-dog timer is timeout.  */
void watchdog_irq_init(wdt_irq_handler handler, uint32_t id)
{
	WDG_IrqInit((VOID*)handler, (u32)id);
}