hangcheck_tsc     110 drivers/char/hangcheck-timer.c static unsigned long long hangcheck_tsc, hangcheck_tsc_margin;
hangcheck_tsc     122 drivers/char/hangcheck-timer.c 	if (cur_tsc > hangcheck_tsc)
hangcheck_tsc     123 drivers/char/hangcheck-timer.c 		tsc_diff = cur_tsc - hangcheck_tsc;
hangcheck_tsc     125 drivers/char/hangcheck-timer.c 		tsc_diff = (cur_tsc + (~0ULL - hangcheck_tsc)); /* or something */
hangcheck_tsc     149 drivers/char/hangcheck-timer.c 	hangcheck_tsc = ktime_get_ns();
hangcheck_tsc     161 drivers/char/hangcheck-timer.c 	hangcheck_tsc = ktime_get_ns();