hangcheck_tsc_margin  110 drivers/char/hangcheck-timer.c static unsigned long long hangcheck_tsc, hangcheck_tsc_margin;
hangcheck_tsc_margin  127 drivers/char/hangcheck-timer.c 	if (tsc_diff > hangcheck_tsc_margin) {
hangcheck_tsc_margin  157 drivers/char/hangcheck-timer.c 	hangcheck_tsc_margin =
hangcheck_tsc_margin  159 drivers/char/hangcheck-timer.c 	hangcheck_tsc_margin *= TIMER_FREQ;