Symbol: tc_adjtime
sys/kern/kern_time.c
483
tc_adjtime(&remaining, NULL);
sys/kern/kern_time.c
497
tc_adjtime(NULL, &adjustment);
sys/sys/timetc.h
122
void tc_adjtime(int64_t *, int64_t *);