Symbol: acpi_db_display_results
drivers/acpi/acpica/acdebug.h
178
void acpi_db_display_results(void);
drivers/acpi/acpica/dbinput.c
1004
acpi_db_display_results();