1277 	int u_usec, v_usec, bigtick;  in ddi_hardpps()  local
1294 	v_usec = pps_offset - u_usec;  in ddi_hardpps()
1295 	if (v_usec < 0)  in ddi_hardpps()
1296 		v_usec = -v_usec;  in ddi_hardpps()
1297 	if (v_usec > (usec_per_tick >> 1)) {  in ddi_hardpps()
1321 			v_usec = pps_tf[0] - pps_tf[2];  in ddi_hardpps()
1324 			v_usec = pps_tf[2] - pps_tf[1];  in ddi_hardpps()
1327 			v_usec = pps_tf[0] - pps_tf[1];  in ddi_hardpps()
1332 			v_usec = pps_tf[2] - pps_tf[0];  in ddi_hardpps()
1335 			v_usec = pps_tf[1] - pps_tf[2];  in ddi_hardpps()
1338 			v_usec = pps_tf[1] - pps_tf[0];  in ddi_hardpps()
1341 	if (v_usec > MAXTIME)  in ddi_hardpps()
1343 	v_usec = (v_usec << PPS_AVG) - pps_jitter;  in ddi_hardpps()
1344 	pps_jitter += v_usec / (1 << PPS_AVG);  in ddi_hardpps()
1372 	v_usec = pps_usec - u_usec;  in ddi_hardpps()
1373 	if (v_usec >= bigtick >> 1)  in ddi_hardpps()
1374 		v_usec -= bigtick;  in ddi_hardpps()
1375 	if (v_usec < -(bigtick >> 1))  in ddi_hardpps()
1376 		v_usec += bigtick;  in ddi_hardpps()
1377 	if (v_usec < 0)  in ddi_hardpps()
1378 		v_usec = -(-v_usec >> pps_shift);  in ddi_hardpps()
1380 		v_usec = v_usec >> pps_shift;  in ddi_hardpps()
1403 	    v_usec > time_tolerance || v_usec < -time_tolerance) {  in ddi_hardpps()
1419 	pps_ff[0] = v_usec;  in ddi_hardpps()
1423 			v_usec = pps_ff[0] - pps_ff[2];  in ddi_hardpps()
1426 			v_usec = pps_ff[2] - pps_ff[1];  in ddi_hardpps()
1429 			v_usec = pps_ff[0] - pps_ff[1];  in ddi_hardpps()
1434 			v_usec = pps_ff[2] - pps_ff[0];  in ddi_hardpps()
1437 			v_usec = pps_ff[1] - pps_ff[2];  in ddi_hardpps()
1440 			v_usec = pps_ff[1] - pps_ff[0];  in ddi_hardpps()
1450 	v_usec = (v_usec >> 1) - pps_stabil;  in ddi_hardpps()
1451 	if (v_usec < 0)  in ddi_hardpps()
1452 		pps_stabil -= -v_usec >> PPS_AVG;  in ddi_hardpps()
1454 		pps_stabil += v_usec >> PPS_AVG;  in ddi_hardpps()