cpu_acpi_get_speeds
return (cpu_acpi_get_speeds(mach_state->ms_acpi_handle, speeds));
extern uint_t cpu_acpi_get_speeds(cpu_acpi_handle_t, int **);