cpu_acpi_free_tstate_data
cpu_acpi_free_tstate_data(handle);
extern void cpu_acpi_free_tstate_data(cpu_acpi_handle_t);