acpi_gbl_db_arg_types  305 drivers/acpi/acpica/acglobal.h ACPI_GLOBAL(acpi_object_type, acpi_gbl_db_arg_types[ACPI_DEBUGGER_MAX_ARGS]);
acpi_gbl_db_arg_types  601 drivers/acpi/acpica/dbinput.c 							     &acpi_gbl_db_arg_types
acpi_gbl_db_arg_types  757 drivers/acpi/acpica/dbinput.c 				&acpi_gbl_db_args[2], &acpi_gbl_db_arg_types[2],
acpi_gbl_db_arg_types  782 drivers/acpi/acpica/dbinput.c 				&acpi_gbl_db_args[2], &acpi_gbl_db_arg_types[2],
acpi_gbl_db_arg_types 1086 drivers/acpi/acpica/dbinput.c 						&acpi_gbl_db_arg_types[2]);