acpi_db_display_table_info 65 drivers/acpi/acpica/acdebug.h void acpi_db_display_table_info(char *table_arg); acpi_db_display_table_info 976 drivers/acpi/acpica/dbinput.c acpi_db_display_table_info(acpi_gbl_db_args[1]);