Symbol: acpi_db_display_object_type
drivers/acpi/acpica/acdebug.h
182
void acpi_db_display_object_type(char *object_arg);
drivers/acpi/acpica/dbinput.c
1046
acpi_db_display_object_type(acpi_gbl_db_args[1]);