Symbol: tc_getfrequency
sys/kern/kern_time.c
240
scale = ((1ULL << 63) / tc_getfrequency()) * 2;
sys/sys/timetc.h
112
u_int64_t tc_getfrequency(void);