Symbol: acpi_db_display_resources
drivers/acpi/acpica/acdebug.h
83
void acpi_db_display_resources(char *object_arg);
drivers/acpi/acpica/dbinput.c
999
acpi_db_display_resources(acpi_gbl_db_args[1]);