PPS_INTCOUNT      852 kernel/time/ntp.c 	if (--pps_intcnt <= -PPS_INTCOUNT) {
PPS_INTCOUNT      853 kernel/time/ntp.c 		pps_intcnt = -PPS_INTCOUNT;
PPS_INTCOUNT      866 kernel/time/ntp.c 	if (++pps_intcnt >= PPS_INTCOUNT) {
PPS_INTCOUNT      867 kernel/time/ntp.c 		pps_intcnt = PPS_INTCOUNT;