Symbol: tsc_hrtimeinit
usr/src/uts/i86pc/os/startup.c
2052
tsc_hrtimeinit(tsc_freq);
usr/src/uts/i86pc/sys/clock.h
54
extern void tsc_hrtimeinit(uint64_t cpu_freq_hz);