Symbol: acpi_db_unload_acpi_table
drivers/acpi/acpica/acdebug.h
71
void acpi_db_unload_acpi_table(char *name);
drivers/acpi/acpica/dbinput.c
1164
acpi_db_unload_acpi_table(acpi_gbl_db_args[1]);