acpi_db_display_object_type  176 drivers/acpi/acpica/acdebug.h void acpi_db_display_object_type(char *object_arg);
acpi_db_display_object_type  997 drivers/acpi/acpica/dbinput.c 		acpi_db_display_object_type(acpi_gbl_db_args[1]);