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]);