Symbol: tc_getfrequency
sys/kern/kern_time.c
359
if (tc_getfrequency() > 1000000000)
sys/kern/kern_time.c
362
ts->tv_nsec = 1000000000 / tc_getfrequency();
sys/sys/timetc.h
83
uint64_t tc_getfrequency(void);