Symbol: ACPI_TRACE_OPCODE