Symbol: machhztomhz
usr/src/uts/i86pc/os/mp_machdep.c
1405
cpu_freq = machhztomhz(cpu_freq_hz);
usr/src/uts/i86pc/os/mp_machdep.c
80
static int machhztomhz(uint64_t cpu_freq_hz);