Searched refs:tsc_get_freq (Results 1 – 4 of 4) sorted by relevance
87 uint64_t tsc_get_freq(void);
1136 tsc_get_freq(void) in tsc_get_freq() function
1222 return (tsc_get_freq()); in mach_getcpufreq()
1213 tsc_hz = tsc_get_freq(); in apic_calibrate_tsc()