hangcheck_reboot   48 drivers/char/hangcheck-timer.c static int hangcheck_reboot;  /* Defaults to not reboot */
hangcheck_reboot   56 drivers/char/hangcheck-timer.c module_param(hangcheck_reboot, int, 0);
hangcheck_reboot   57 drivers/char/hangcheck-timer.c MODULE_PARM_DESC(hangcheck_reboot, "If nonzero, the machine will reboot when the timer margin is exceeded.");
hangcheck_reboot   89 drivers/char/hangcheck-timer.c 		hangcheck_reboot = par;
hangcheck_reboot  134 drivers/char/hangcheck-timer.c 		if (hangcheck_reboot) {