tag	line	file	source code
pps_shift	243	include/linux/timex.h	extern int pps_shift;    /* interval duration (s) (shift) */
pps_shift	182	kernel/time.c	int pps_shift = PPS_SHIFT;  /* interval duration (s) (shift) */
pps_shift	337	kernel/time.c	txc.shift     = pps_shift;