tag	line	file	source code
frequency	80	include/linux/timex.h	long frequency;    /* frequency offset (scaled ppm) */
frequency	382	kernel/time.c	time_freq = txc.frequency << (SHIFT_KF - 16);
frequency	425	kernel/time.c	txc.frequency     = ((time_freq+1) >> (SHIFT_KF - 16));