tag	line	file	source code
SHIFT_KF	511	kernel/sched.c	time_adj += (time_freq >> (SHIFT_KF + SHIFT_HZ - SHIFT_SCALE))
SHIFT_KF	370	kernel/time.c	ltemp = time_tolerance << SHIFT_KF;