cpu_acpi_free_cstate_data
cpu_acpi_free_cstate_data(handle);
extern void cpu_acpi_free_cstate_data(cpu_acpi_handle_t);