table_arg          65 drivers/acpi/acpica/acdebug.h void acpi_db_display_table_info(char *table_arg);
table_arg         250 drivers/acpi/acpica/dbcmds.c void acpi_db_display_table_info(char *table_arg)