kdumptimeout       37 drivers/watchdog/hpwdt.c static int kdumptimeout = -1;
kdumptimeout      183 drivers/watchdog/hpwdt.c 	if (kdumptimeout < 0)
kdumptimeout      185 drivers/watchdog/hpwdt.c 	else if (kdumptimeout == 0)
kdumptimeout      188 drivers/watchdog/hpwdt.c 		unsigned int val = max((unsigned int)kdumptimeout, hpwdt_dev.timeout);
kdumptimeout      342 drivers/watchdog/hpwdt.c 	kdumptimeout = min(kdumptimeout, HPWDT_MAX_TIMER);
kdumptimeout      355 drivers/watchdog/hpwdt.c 	dev_info(&dev->dev, "kdumptimeout: %d.\n", kdumptimeout);
kdumptimeout      401 drivers/watchdog/hpwdt.c module_param(kdumptimeout, int, 0444);
kdumptimeout      402 drivers/watchdog/hpwdt.c MODULE_PARM_DESC(kdumptimeout, "Timeout applied for crash kernel transition in seconds");