MAX_TICKADJ_SCALED 479 kernel/time/ntp.c tick_length += MAX_TICKADJ_SCALED; MAX_TICKADJ_SCALED 485 kernel/time/ntp.c tick_length -= MAX_TICKADJ_SCALED;