hangcheck_margin   47 drivers/char/hangcheck-timer.c static int hangcheck_margin = DEFAULT_IOFENCE_MARGIN;
hangcheck_margin   54 drivers/char/hangcheck-timer.c module_param(hangcheck_margin, int, 0);
hangcheck_margin   55 drivers/char/hangcheck-timer.c MODULE_PARM_DESC(hangcheck_margin, "If the hangcheck timer has been delayed more than hangcheck_margin seconds, the driver will fire.");
hangcheck_margin   81 drivers/char/hangcheck-timer.c 		hangcheck_margin = par;
hangcheck_margin  156 drivers/char/hangcheck-timer.c 	       VERSION_STR, hangcheck_tick, hangcheck_margin);
hangcheck_margin  158 drivers/char/hangcheck-timer.c 		(unsigned long long)hangcheck_margin + hangcheck_tick;