acpi_ex_unload_table
acpi_status acpi_ex_unload_table(union acpi_operand_object *ddb_handle);
(void)acpi_ex_unload_table(ddb_handle);
status = acpi_ex_unload_table(operand[0]);