tag	line	file	source code
MAXFREQ	55	kernel/sched.c	long time_tolerance = MAXFREQ;  /* frequency tolerance (ppm) */
MAXFREQ	644	kernel/sched.c	pps_stabil = MAXFREQ;
MAXFREQ	162	kernel/time.c	long pps_stabil = MAXFREQ;  /* frequency dispersion (scaled ppm) */