Symbol: tsc_get_freq
usr/src/uts/i86pc/io/pcplusmp/apic_common.c
1213
tsc_hz = tsc_get_freq();
usr/src/uts/i86pc/os/mp_machdep.c
1222
return (tsc_get_freq());
usr/src/uts/i86pc/sys/tsc.h
87
uint64_t tsc_get_freq(void);