| // SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0 |
| /****************************************************************************** |
| * |
| * Module Name: dswload - Dispatcher first pass namespace load callbacks |
| * |
| * Copyright (C) 2000 - 2022, Intel Corp. |
| * |
| *****************************************************************************/ |
| |
| #include <acpi/acpi.h> |
| #include "accommon.h" |
| #include "acparser.h" |
| #include "amlcode.h" |
| #include "acdispat.h" |
| #include "acinterp.h" |
| #include "acnamesp.h" |
| #ifdef ACPI_ASL_COMPILER |
| #include "acdisasm.h" |
| #endif |
| |
| #define _COMPONENT ACPI_DISPATCHER |
| ACPI_MODULE_NAME("dswload") |
| |
| /******************************************************************************* |
| * |
| * FUNCTION: acpi_ds_init_callbacks |
| * |
| * PARAMETERS: walk_state - Current state of the parse tree walk |
| * pass_number - 1, 2, or 3 |
| * |
| * RETURN: Status |
| * |
| * DESCRIPTION: Init walk state callbacks |
| * |
| ******************************************************************************/ |
| acpi_status |
| acpi_ds_init_callbacks(struct acpi_walk_state *walk_state, u32 pass_number) |
| { |
| |
| switch (pass_number) { |
| case 0: |
| |
| /* Parse only - caller will setup callbacks */ |
| |
| walk_state->parse_flags = ACPI_PARSE_LOAD_PASS1 | |
| ACPI_PARSE_DELETE_TREE | ACPI_PARSE_DISASSEMBLE; |
| walk_state->descending_callback = NULL; |
| walk_state->ascending_callback = NULL; |
| break; |
| |
| case 1: |
| |
| /* Load pass 1 */ |
| |
| walk_state->parse_flags = ACPI_PARSE_LOAD_PASS1 | |
| ACPI_PARSE_DELETE_TREE; |
| walk_state->descending_callback = acpi_ds_load1_begin_op; |
| walk_state->ascending_callback = acpi_ds_load1_end_op; |
| break; |
| |
| case 2: |
| |
| /* Load pass 2 */ |
| |
| walk_state->parse_flags = ACPI_PARSE_LOAD_PASS1 | |
| ACPI_PARSE_DELETE_TREE; |
| walk_state->descending_callback = acpi_ds_load2_begin_op; |
| walk_state->ascending_callback = acpi_ds_load2_end_op; |
| break; |
| |
| case 3: |
| |
| /* Execution pass */ |
| |
| walk_state->parse_flags |= ACPI_PARSE_EXECUTE | |
| ACPI_PARSE_DELETE_TREE; |
| walk_state->descending_callback = acpi_ds_exec_begin_op; |
| walk_state->ascending_callback = acpi_ds_exec_end_op; |
| break; |
| |
| default: |
| |
| return (AE_BAD_PARAMETER); |
| } |
| |
| return (AE_OK); |
| } |
| |
| /******************************************************************************* |
| * |
| * FUNCTION: acpi_ds_load1_begin_op |
| * |
| * PARAMETERS: walk_state - Current state of the parse tree walk |
| * out_op - Where to return op if a new one is created |
| * |
| * RETURN: Status |
| * |
| * DESCRIPTION: Descending callback used during the loading of ACPI tables. |
| * |
| ******************************************************************************/ |
| |
| acpi_status |
| acpi_ds_load1_begin_op(struct acpi_walk_state *walk_state, |
| union acpi_parse_object **out_op) |
| { |
| union acpi_parse_object *op; |
| struct acpi_namespace_node *node; |
| acpi_status status; |
| acpi_object_type object_type; |
| char *path; |
| u32 flags; |
| |
| ACPI_FUNCTION_TRACE_PTR(ds_load1_begin_op, walk_state->op); |
| |
| op = walk_state->op; |
| ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Op=%p State=%p\n", op, |
| walk_state)); |
| |
| /* We are only interested in opcodes that have an associated name */ |
| |
| if (op) { |
| if (!(walk_state->op_info->flags & AML_NAMED)) { |
| *out_op = op; |
| return_ACPI_STATUS(AE_OK); |
| } |
| |
| /* Check if this object has already been installed in the namespace */ |
| |
| if (op->common.node) { |
| *out_op = op; |
| return_ACPI_STATUS(AE_OK); |
| } |
| } |
| |
| path = acpi_ps_get_next_namestring(&walk_state->parser_state); |
| |
| /* Map the raw opcode into an internal object type */ |
| |
| object_type = walk_state->op_info->object_type; |
| |
| ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, |
| "State=%p Op=%p [%s]\n", walk_state, op, |
| acpi_ut_get_type_name(object_type))); |
| |
| switch (walk_state->opcode) { |
| case AML_SCOPE_OP: |
| /* |
| * The target name of the Scope() operator must exist at this point so |
| * that we can actually open the scope to enter new names underneath it. |
| * Allow search-to-root for single namesegs. |
| */ |
| status = |
| acpi_ns_lookup(walk_state->scope_info, path, object_type, |
| ACPI_IMODE_EXECUTE, ACPI_NS_SEARCH_PARENT, |
| walk_state, &(node)); |
| #ifdef ACPI_ASL_COMPILER |
| if (status == AE_NOT_FOUND) { |
| /* |
| * Table disassembly: |
| * Target of Scope() not found. Generate an External for it, and |
| * insert the name into the namespace. |
| */ |
| acpi_dm_add_op_to_external_list(op, path, |
| ACPI_TYPE_DEVICE, 0, 0); |
| status = |
| acpi_ns_lookup(walk_state->scope_info, path, |
| object_type, ACPI_IMODE_LOAD_PASS1, |
| ACPI_NS_SEARCH_PARENT, walk_state, |
| &node); |
| } |
| #endif |
| if (ACPI_FAILURE(status)) { |
| ACPI_ERROR_NAMESPACE(walk_state->scope_info, path, |
| status); |
| return_ACPI_STATUS(status); |
| } |
| |
| /* |
| * Check to make sure that the target is |
| * one of the opcodes that actually opens a scope |
| */ |
| switch (node->type) { |
| case ACPI_TYPE_ANY: |
| case ACPI_TYPE_LOCAL_SCOPE: /* Scope */ |
| case ACPI_TYPE_DEVICE: |
| case ACPI_TYPE_POWER: |
| case ACPI_TYPE_PROCESSOR: |
| case ACPI_TYPE_THERMAL: |
| |
| /* These are acceptable types */ |
| break; |
| |
| case ACPI_TYPE_INTEGER: |
| case ACPI_TYPE_STRING: |
| case ACPI_TYPE_BUFFER: |
| /* |
| * These types we will allow, but we will change the type. |
| * This enables some existing code of the form: |
| * |
| * Name (DEB, 0) |
| * Scope (DEB) { ... } |
| * |
| * Note: silently change the type here. On the second pass, |
| * we will report a warning |
| */ |
| ACPI_DEBUG_PRINT((ACPI_DB_INFO, |
| "Type override - [%4.4s] had invalid type (%s) " |
| "for Scope operator, changed to type ANY\n", |
| acpi_ut_get_node_name(node), |
| acpi_ut_get_type_name(node->type))); |
| |
| node->type = ACPI_TYPE_ANY; |
| walk_state->scope_info->common.value = ACPI_TYPE_ANY; |
| break; |
| |
| case ACPI_TYPE_METHOD: |
| /* |
| * Allow scope change to root during execution of module-level |
| * code. Root is typed METHOD during this time. |
| */ |
| if ((node == acpi_gbl_root_node) && |
| (walk_state-> |
| parse_flags & ACPI_PARSE_MODULE_LEVEL)) { |
| break; |
| } |
| |
| ACPI_FALLTHROUGH; |
| |
| default: |
| |
| /* All other types are an error */ |
| |
| ACPI_ERROR((AE_INFO, |
| "Invalid type (%s) for target of " |
| "Scope operator [%4.4s] (Cannot override)", |
| acpi_ut_get_type_name(node->type), |
| acpi_ut_get_node_name(node))); |
| |
| return_ACPI_STATUS(AE_AML_OPERAND_TYPE); |
| } |
| break; |
| |
| default: |
| /* |
| * For all other named opcodes, we will enter the name into |
| * the namespace. |
| * |
| * Setup the search flags. |
| * Since we are entering a name into the namespace, we do not want to |
| * enable the search-to-root upsearch. |
| * |
| * There are only two conditions where it is acceptable that the name |
| * already exists: |
| * 1) the Scope() operator can reopen a scoping object that was |
| * previously defined (Scope, Method, Device, etc.) |
| * 2) Whenever we are parsing a deferred opcode (op_region, Buffer, |
| * buffer_field, or Package), the name of the object is already |
| * in the namespace. |
| */ |
| if (walk_state->deferred_node) { |
| |
| /* This name is already in the namespace, get the node */ |
| |
| node = walk_state->deferred_node; |
| status = AE_OK; |
| break; |
| } |
| |
| /* |
| * If we are executing a method, do not create any namespace objects |
| * during the load phase, only during execution. |
| */ |
| if (walk_state->method_node) { |
| node = NULL; |
| status = AE_OK; |
| break; |
| } |
| |
| flags = ACPI_NS_NO_UPSEARCH; |
| if ((walk_state->opcode != AML_SCOPE_OP) && |
| (!(walk_state->parse_flags & ACPI_PARSE_DEFERRED_OP))) { |
| if (walk_state->namespace_override) { |
| flags |= ACPI_NS_OVERRIDE_IF_FOUND; |
| ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, |
| "[%s] Override allowed\n", |
| acpi_ut_get_type_name |
| (object_type))); |
| } else { |
| flags |= ACPI_NS_ERROR_IF_FOUND; |
| ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, |
| "[%s] Cannot already exist\n", |
| acpi_ut_get_type_name |
| (object_type))); |
| } |
| } else { |
| ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, |
| "[%s] Both Find or Create allowed\n", |
| acpi_ut_get_type_name(object_type))); |
| } |
| |
| /* |
| * Enter the named type into the internal namespace. We enter the name |
| * as we go downward in the parse tree. Any necessary subobjects that |
| * involve arguments to the opcode must be created as we go back up the |
| * parse tree later. |
| */ |
| status = |
| acpi_ns_lookup(walk_state->scope_info, path, object_type, |
| ACPI_IMODE_LOAD_PASS1, flags, walk_state, |
| &node); |
| if (ACPI_FAILURE(status)) { |
| if (status == AE_ALREADY_EXISTS) { |
| |
| /* The name already exists in this scope */ |
| |
| if (node->flags & ANOBJ_IS_EXTERNAL) { |
| /* |
| * Allow one create on an object or segment that was |
| * previously declared External |
| */ |
| node->flags &= ~ANOBJ_IS_EXTERNAL; |
| node->type = (u8) object_type; |
| |
| /* Just retyped a node, probably will need to open a scope */ |
| |
| if (acpi_ns_opens_scope(object_type)) { |
| status = |
| acpi_ds_scope_stack_push |
| (node, object_type, |
| walk_state); |
| if (ACPI_FAILURE(status)) { |
| return_ACPI_STATUS |
| (status); |
| } |
| } |
| |
| status = AE_OK; |
| } |
| } |
| |
| if (ACPI_FAILURE(status)) { |
| ACPI_ERROR_NAMESPACE(walk_state->scope_info, |
| path, status); |
| return_ACPI_STATUS(status); |
| } |
| } |
| break; |
| } |
| |
| /* Common exit */ |
| |
| if (!op) { |
| |
| /* Create a new op */ |
| |
| op = acpi_ps_alloc_op(walk_state->opcode, walk_state->aml); |
| if (!op) { |
| return_ACPI_STATUS(AE_NO_MEMORY); |
| } |
| } |
| |
| /* Initialize the op */ |
| |
| #ifdef ACPI_CONSTANT_EVAL_ONLY |
| op->named.path = path; |
| #endif |
| |
| if (node) { |
| /* |
| * Put the Node in the "op" object that the parser uses, so we |
| * can get it again quickly when this scope is closed |
| */ |
| op->common.node = node; |
| op->named.name = node->name.integer; |
| } |
| |
| acpi_ps_append_arg(acpi_ps_get_parent_scope(&walk_state->parser_state), |
| op); |
| *out_op = op; |
| return_ACPI_STATUS(status); |
| } |
| |
| /******************************************************************************* |
| * |
| * FUNCTION: acpi_ds_load1_end_op |
| * |
| * PARAMETERS: walk_state - Current state of the parse tree walk |
| * |
| * RETURN: Status |
| * |
| * DESCRIPTION: Ascending callback used during the loading of the namespace, |
| * both control methods and everything else. |
| * |
| ******************************************************************************/ |
| |
| acpi_status acpi_ds_load1_end_op(struct acpi_walk_state *walk_state) |
| { |
| union acpi_parse_object *op; |
| acpi_object_type object_type; |
| acpi_status status = AE_OK; |
| #ifdef ACPI_ASL_COMPILER |
| u8 param_count; |
| #endif |
| |
| ACPI_FUNCTION_TRACE(ds_load1_end_op); |
| |
| op = walk_state->op; |
| ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Op=%p State=%p\n", op, |
| walk_state)); |
| |
| /* |
| * Disassembler: handle create field operators here. |
| * |
| * create_buffer_field is a deferred op that is typically processed in load |
| * pass 2. However, disassembly of control method contents walk the parse |
| * tree with ACPI_PARSE_LOAD_PASS1 and AML_CREATE operators are processed |
| * in a later walk. This is a problem when there is a control method that |
| * has the same name as the AML_CREATE object. In this case, any use of the |
| * name segment will be detected as a method call rather than a reference |
| * to a buffer field. |
| * |
| * This earlier creation during disassembly solves this issue by inserting |
| * the named object in the ACPI namespace so that references to this name |
| * would be a name string rather than a method call. |
| */ |
| if ((walk_state->parse_flags & ACPI_PARSE_DISASSEMBLE) && |
| (walk_state->op_info->flags & AML_CREATE)) { |
| status = acpi_ds_create_buffer_field(op, walk_state); |
| return_ACPI_STATUS(status); |
| } |
| |
| /* We are only interested in opcodes that have an associated name */ |
| |
| if (!(walk_state->op_info->flags & (AML_NAMED | AML_FIELD))) { |
| return_ACPI_STATUS(AE_OK); |
| } |
| |
| /* Get the object type to determine if we should pop the scope */ |
| |
| object_type = walk_state->op_info->object_type; |
| |
| if (walk_state->op_info->flags & AML_FIELD) { |
| /* |
| * If we are executing a method, do not create any namespace objects |
| * during the load phase, only during execution. |
| */ |
| if (!walk_state->method_node) { |
| if (walk_state->opcode == AML_FIELD_OP || |
| walk_state->opcode == AML_BANK_FIELD_OP || |
| walk_state->opcode == AML_INDEX_FIELD_OP) { |
| status = |
| acpi_ds_init_field_objects(op, walk_state); |
| } |
| } |
| return_ACPI_STATUS(status); |
| } |
| |
| /* |
| * If we are executing a method, do not create any namespace objects |
| * during the load phase, only during execution. |
| */ |
| if (!walk_state->method_node) { |
| if (op->common.aml_opcode == AML_REGION_OP) { |
| status = |
| acpi_ex_create_region(op->named.data, |
| op->named.length, |
| (acpi_adr_space_type) |
| ((op->common.value.arg)-> |
| common.value.integer), |
| walk_state); |
| if (ACPI_FAILURE(status)) { |
| return_ACPI_STATUS(status); |
| } |
| } else if (op->common.aml_opcode == AML_DATA_REGION_OP) { |
| status = |
| acpi_ex_create_region(op->named.data, |
| op->named.length, |
| ACPI_ADR_SPACE_DATA_TABLE, |
| walk_state); |
| if (ACPI_FAILURE(status)) { |
| return_ACPI_STATUS(status); |
| } |
| } |
| } |
| |
| if (op->common.aml_opcode == AML_NAME_OP) { |
| |
| /* For Name opcode, get the object type from the argument */ |
| |
| if (op->common.value.arg) { |
| object_type = (acpi_ps_get_opcode_info((op->common. |
| value.arg)-> |
| common. |
| aml_opcode))-> |
| object_type; |
| |
| /* Set node type if we have a namespace node */ |
| |
| if (op->common.node) { |
| op->common.node->type = (u8) object_type; |
| } |
| } |
| } |
| #ifdef ACPI_ASL_COMPILER |
| /* |
| * For external opcode, get the object type from the argument and |
| * get the parameter count from the argument's next. |
| */ |
| if (acpi_gbl_disasm_flag && |
| op->common.node && op->common.aml_opcode == AML_EXTERNAL_OP) { |
| /* |
| * Note, if this external is not a method |
| * Op->Common.Value.Arg->Common.Next->Common.Value.Integer == 0 |
| * Therefore, param_count will be 0. |
| */ |
| param_count = |
| (u8)op->common.value.arg->common.next->common.value.integer; |
| object_type = (u8)op->common.value.arg->common.value.integer; |
| op->common.node->flags |= ANOBJ_IS_EXTERNAL; |
| op->common.node->type = (u8)object_type; |
| |
| acpi_dm_create_subobject_for_external((u8)object_type, |
| &op->common.node, |
| param_count); |
| |
| /* |
| * Add the external to the external list because we may be |
| * emitting code based off of the items within the external list. |
| */ |
| acpi_dm_add_op_to_external_list(op, op->named.path, |
| (u8)object_type, param_count, |
| ACPI_EXT_ORIGIN_FROM_OPCODE | |
| ACPI_EXT_RESOLVED_REFERENCE); |
| } |
| #endif |
| |
| /* |
| * If we are executing a method, do not create any namespace objects |
| * during the load phase, only during execution. |
| */ |
| if (!walk_state->method_node) { |
| if (op->common.aml_opcode == AML_METHOD_OP) { |
| /* |
| * method_op pkg_length name_string method_flags term_list |
| * |
| * Note: We must create the method node/object pair as soon as we |
| * see the method declaration. This allows later pass1 parsing |
| * of invocations of the method (need to know the number of |
| * arguments.) |
| */ |
| ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, |
| "LOADING-Method: State=%p Op=%p NamedObj=%p\n", |
| walk_state, op, op->named.node)); |
| |
| if (!acpi_ns_get_attached_object(op->named.node)) { |
| walk_state->operands[0] = |
| ACPI_CAST_PTR(void, op->named.node); |
| walk_state->num_operands = 1; |
| |
| status = |
| acpi_ds_create_operands(walk_state, |
| op->common.value. |
| arg); |
| if (ACPI_SUCCESS(status)) { |
| status = |
| acpi_ex_create_method(op->named. |
| data, |
| op->named. |
| length, |
| walk_state); |
| } |
| |
| walk_state->operands[0] = NULL; |
| walk_state->num_operands = 0; |
| |
| if (ACPI_FAILURE(status)) { |
| return_ACPI_STATUS(status); |
| } |
| } |
| } |
| } |
| |
| /* Pop the scope stack (only if loading a table) */ |
| |
| if (!walk_state->method_node && |
| op->common.aml_opcode != AML_EXTERNAL_OP && |
| acpi_ns_opens_scope(object_type)) { |
| ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, |
| "(%s): Popping scope for Op %p\n", |
| acpi_ut_get_type_name(object_type), op)); |
| |
| status = acpi_ds_scope_stack_pop(walk_state); |
| } |
| |
| return_ACPI_STATUS(status); |
| } |