MAX_TICKADJ        45 kernel/time/ntp.c 	(((MAX_TICKADJ * NSEC_PER_USEC) << NTP_SCALE_SHIFT) / NTP_INTERVAL_FREQ)
MAX_TICKADJ       477 kernel/time/ntp.c 	if (time_adjust > MAX_TICKADJ) {
MAX_TICKADJ       478 kernel/time/ntp.c 		time_adjust -= MAX_TICKADJ;
MAX_TICKADJ       483 kernel/time/ntp.c 	if (time_adjust < -MAX_TICKADJ) {
MAX_TICKADJ       484 kernel/time/ntp.c 		time_adjust += MAX_TICKADJ;