__lpc18xx_wdt_set_timeout  118 drivers/watchdog/lpc18xx_wdt.c 	__lpc18xx_wdt_set_timeout(lpc18xx_wdt);
__lpc18xx_wdt_set_timeout  277 drivers/watchdog/lpc18xx_wdt.c 	__lpc18xx_wdt_set_timeout(lpc18xx_wdt);