lpc18xx_wdt_timer_feed
timer_setup(&lpc18xx_wdt->timer, lpc18xx_wdt_timer_feed, 0);
lpc18xx_wdt_timer_feed(&lpc18xx_wdt->timer);