Searched refs:xpv_cpu_khz (Results 1 – 3 of 3) sorted by relevance
166 extern uint64_t xpv_cpu_khz(void);
1387 xpv_cpu_khz(void) in xpv_cpu_khz() function
1238 cpu_hz = 1000 * xpv_cpu_khz(); in mach_getcpufreq()