Symbol: xpv_cpu_khz
usr/src/uts/i86pc/os/mp_machdep.c
1246
cpu_hz = 1000 * xpv_cpu_khz();
usr/src/uts/intel/sys/hypervisor.h
165
extern uint64_t xpv_cpu_khz(void);