Symbol: PPS_SHIFT
usr/src/uts/common/os/clock.c
1409
pps_shift = PPS_SHIFT;
usr/src/uts/common/os/clock.c
1485
if (pps_shift > PPS_SHIFT)
usr/src/uts/common/os/clock.c
221
int32_t pps_shift = PPS_SHIFT; /* interval duration (s) (shift) */