ACPI_DEBUGGER_MAX_ARGS
ACPI_GLOBAL(char *, acpi_gbl_db_args[ACPI_DEBUGGER_MAX_ARGS]);
ACPI_GLOBAL(acpi_object_type, acpi_gbl_db_arg_types[ACPI_DEBUGGER_MAX_ARGS]);
union acpi_object params[ACPI_DEBUGGER_MAX_ARGS + 1];
for (i = 0; i < ACPI_DEBUGGER_MAX_ARGS; i++) {