CPU_ACPI_FREQ
hspeeds[i] = CPU_ACPI_FREQ(pstate);
CPU_ACPI_FREQ(req_pstate));
cpu_set_curr_clock((uint64_t)CPU_ACPI_FREQ(req_pstate) * 1000000);
DTRACE_PROBE1(ess_transition, uint32_t, CPU_ACPI_FREQ(req_pstate));
cpu_set_curr_clock(((uint64_t)CPU_ACPI_FREQ(req_pstate) * 1000000));