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;