Symbol: acpi_db_display_statistics
drivers/acpi/acpica/acdebug.h
275
acpi_status acpi_db_display_statistics(char *type_arg);
drivers/acpi/acpica/dbinput.c
1016
status = acpi_db_display_statistics(acpi_gbl_db_args[1]);
drivers/acpi/acpica/utalloc.c
190
(void)acpi_db_display_statistics(buffer);