tag	line	file	source code
SHIFT_KF	490	kernel/sched.c	time_adj += (time_freq >> (SHIFT_KF + SHIFT_HZ - SHIFT_SCALE))
SHIFT_KF	371	kernel/time.c	time_freq = txc.frequency << (SHIFT_KF - 16);
SHIFT_KF	402	kernel/time.c	ltemp = time_tolerance << SHIFT_KF;
SHIFT_KF	414	kernel/time.c	txc.frequency     = ((time_freq+1) >> (SHIFT_KF - 16));