Symbol: PPS_FAVGMAX
sys/kern/kern_ntptime.c
398
else if (ntv->shift > PPS_FAVGMAX)
sys/kern/kern_ntptime.c
399
pps_shiftmax = PPS_FAVGMAX;