ntp_update_second   32 kern/kern_tc.c void ntp_update_second(int64_t *, time_t *);
ntp_update_second  379 kern/kern_tc.c 		ntp_update_second(&th->th_adjustment, &bt.sec);