acpi_os_free
acpi_os_free(acpi_gbl_db_method_info.threads);
acpi_os_free(acpi_gbl_history_buffer
acpi_os_free(temp1);
acpi_os_free(temp2);
acpi_os_free(temp3);
acpi_os_free(temp1);
acpi_os_free(temp2);
acpi_os_free(temp3);
acpi_os_free(temp1);
acpi_os_free(temp2);
acpi_os_free(temp3);
acpi_os_free(temp1);
acpi_os_free(return_obj.pointer);
acpi_os_free(return_obj.pointer);
acpi_os_free(acpi_gbl_db_buffer);
acpi_os_free(return_buffer->pointer);
acpi_os_free(acpi_gbl_global_list);
acpi_os_free(acpi_gbl_ns_node_list);
acpi_os_free(cache);
acpi_os_free(allocation);
acpi_os_free(allocation);
acpi_os_free(debug_block);
acpi_os_free(buf.pointer);
acpi_os_free(buf.pointer);
acpi_os_free(buffer.pointer);
void acpi_os_free(void *memory);
#define ACPI_FREE(a) acpi_os_free (a)
acpi_os_free(sem);