panic_wdt_timeout  138 drivers/char/ipmi/ipmi_watchdog.c static int panic_wdt_timeout = 255;
panic_wdt_timeout  280 drivers/char/ipmi/ipmi_watchdog.c module_param(panic_wdt_timeout, timeout, 0644);
panic_wdt_timeout  281 drivers/char/ipmi/ipmi_watchdog.c MODULE_PARM_DESC(panic_wdt_timeout, "Timeout value on kernel panic in seconds.");
panic_wdt_timeout  961 drivers/char/ipmi/ipmi_watchdog.c 		timeout = panic_wdt_timeout;