Symbol: MAX_TICKADJ_SCALED
kernel/time/ntp.c
475
ntpdata->tick_length += MAX_TICKADJ_SCALED;
kernel/time/ntp.c
481
ntpdata->tick_length -= MAX_TICKADJ_SCALED;