PPS_INTMIN 137 kernel/time/ntp.c pps_shift = PPS_INTMIN; PPS_INTMIN 854 kernel/time/ntp.c if (pps_shift > PPS_INTMIN) { PPS_INTMIN 927 kernel/time/ntp.c NSEC_PER_USEC) - pps_stabil) >> PPS_INTMIN; PPS_INTMIN 967 kernel/time/ntp.c pps_jitter += (jitter - pps_jitter) >> PPS_INTMIN;