Symbol: __lpc18xx_wdt_set_timeout
drivers/watchdog/lpc18xx_wdt.c
119
__lpc18xx_wdt_set_timeout(lpc18xx_wdt);
drivers/watchdog/lpc18xx_wdt.c
252
__lpc18xx_wdt_set_timeout(lpc18xx_wdt);