acpi_db_unload_acpi_table   69 drivers/acpi/acpica/acdebug.h void acpi_db_unload_acpi_table(char *name);
acpi_db_unload_acpi_table 1110 drivers/acpi/acpica/dbinput.c 		acpi_db_unload_acpi_table(acpi_gbl_db_args[1]);