eurwdt_timeout     62 drivers/watchdog/eurotechwdt.c static int eurwdt_timeout;
eurwdt_timeout    184 drivers/watchdog/eurotechwdt.c 	eurwdt_set_timeout(eurwdt_timeout);
eurwdt_timeout    286 drivers/watchdog/eurotechwdt.c 		eurwdt_timeout = time;
eurwdt_timeout    292 drivers/watchdog/eurotechwdt.c 		return put_user(eurwdt_timeout, p);
eurwdt_timeout    312 drivers/watchdog/eurotechwdt.c 	eurwdt_timeout = WDT_TIMEOUT;	/* initial timeout */