cpu_acpi_free_speeds
cpu_acpi_free_speeds(speeds, nspeeds);
extern void cpu_acpi_free_speeds(int *, uint_t);