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