Symbol: ntp_update_second
sys/kern/kern_tc.c
1443
ntp_update_second(&th->th_adjustment, &bt.sec,
sys/sys/timex.h
157
void ntp_update_second(int64_t *adjustment, time_t *newsec, long *tai_off);