tag	line	file	source code
SHIFT_KF	501	kernel/sched.c	time_adj += (time_freq >> (SHIFT_KF + SHIFT_HZ - SHIFT_SCALE))
SHIFT_KF	400	kernel/time.c	time_freq = txc.frequency << (SHIFT_KF - 16);
SHIFT_KF	431	kernel/time.c	ltemp = time_tolerance << SHIFT_KF;
SHIFT_KF	443	kernel/time.c	txc.frequency     = ((time_freq+1) >> (SHIFT_KF - 16));