TIMER_FREQ        146 drivers/char/hangcheck-timer.c 			tsc_diff, tsc_diff - hangcheck_tick*TIMER_FREQ);
TIMER_FREQ        159 drivers/char/hangcheck-timer.c 	hangcheck_tsc_margin *= TIMER_FREQ;