Symbol: gef_wdt_set_timeout
drivers/watchdog/gef_wdt.c
203
gef_wdt_set_timeout(timeout);
drivers/watchdog/gef_wdt.c
278
gef_wdt_set_timeout(timeout);