gef_wdt_timeout    64 drivers/watchdog/gef_wdt.c static int gef_wdt_timeout;
gef_wdt_timeout   131 drivers/watchdog/gef_wdt.c 	gef_wdt_timeout = timeout;
gef_wdt_timeout   207 drivers/watchdog/gef_wdt.c 		if (put_user(gef_wdt_timeout, (int __user *)argp))