Symbol: ACPI_DEBUGGER_MAX_ARGS