/******************************************************************************* * * Module Name: dsutils - Dispatcher utilities * ******************************************************************************/ /* * Copyright (C) 2000 - 2011, Intel Corp. * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions * are met: * 1. Redistributions of source code must retain the above copyright * notice, this list of conditions, and the following disclaimer, * without modification. * 2. Redistributions in binary form must reproduce at minimum a disclaimer * substantially similar to the "NO WARRANTY" disclaimer below * ("Disclaimer") and any redistribution must be conditioned upon * including a substantially similar Disclaimer requirement for further * binary redistribution. * 3. Neither the names of the above-listed copyright holders nor the names * of any contributors may be used to endorse or promote products derived * from this software without specific prior written permission. * * Alternatively, this software may be distributed under the terms of the * GNU General Public License ("GPL") version 2 as published by the Free * Software Foundation. * * NO WARRANTY * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE * POSSIBILITY OF SUCH DAMAGES. */ #include <acpi/acpi.h> #include "accommon.h" #include "acparser.h" #include "amlcode.h" #include "acdispat.h" #include "acinterp.h" #include "acnamesp.h" #include "acdebug.h" #define _COMPONENT ACPI_DISPATCHER ACPI_MODULE_NAME("dsutils") /******************************************************************************* * * FUNCTION: acpi_ds_clear_implicit_return * * PARAMETERS: walk_state - Current State * * RETURN: None. * * DESCRIPTION: Clear and remove a reference on an implicit return value. Used * to delete "stale" return values (if enabled, the return value * from every operator is saved at least momentarily, in case the * parent method exits.) * ******************************************************************************/ void acpi_ds_clear_implicit_return(struct acpi_walk_state *walk_state) { ACPI_FUNCTION_NAME(ds_clear_implicit_return); /* * Slack must be enabled for this feature */ if (!acpi_gbl_enable_interpreter_slack) { return; } if (walk_state->implicit_return_obj) { /* * Delete any "stale" implicit return. However, in * complex statements, the implicit return value can be * bubbled up several levels. */ ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Removing reference on stale implicit return obj %p\n", walk_state->implicit_return_obj)); acpi_ut_remove_reference(walk_state->implicit_return_obj); walk_state->implicit_return_obj = NULL; } } #ifndef ACPI_NO_METHOD_EXECUTION /******************************************************************************* * * FUNCTION: acpi_ds_do_implicit_return * * PARAMETERS: return_desc - The return value * walk_state - Current State * add_reference - True if a reference should be added to the * return object * * RETURN: TRUE if implicit return enabled, FALSE otherwise * * DESCRIPTION: Implements the optional "implicit return". We save the result * of every ASL operator and control method invocation in case the * parent method exit. Before storing a new return value, we * delete the previous return value. * ******************************************************************************/ u8 acpi_ds_do_implicit_return(union acpi_operand_object *return_desc, struct acpi_walk_state *walk_state, u8 add_reference) { ACPI_FUNCTION_NAME(ds_do_implicit_return); /* * Slack must be enabled for this feature, and we must * have a valid return object */ if ((!acpi_gbl_enable_interpreter_slack) || (!return_desc)) { return (FALSE); } ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Result %p will be implicitly returned; Prev=%p\n", return_desc, walk_state->implicit_return_obj)); /* * Delete any "stale" implicit return value first. However, in * complex statements, the implicit return value can be * bubbled up several levels, so we don't clear the value if it * is the same as the return_desc. */ if (walk_state->implicit_return_obj) { if (walk_state->implicit_return_obj == return_desc) { return (TRUE); } acpi_ds_clear_implicit_return(walk_state); } /* Save the implicit return value, add a reference if requested */ walk_state->implicit_return_obj = return_desc; if (add_reference) { acpi_ut_add_reference(return_desc); } return (TRUE); } /******************************************************************************* * * FUNCTION: acpi_ds_is_result_used * * PARAMETERS: Op - Current Op * walk_state - Current State * * RETURN: TRUE if result is used, FALSE otherwise * * DESCRIPTION: Check if a result object will be used by the parent * ******************************************************************************/ u8 acpi_ds_is_result_used(union acpi_parse_object * op, struct acpi_walk_state * walk_state) { const struct acpi_opcode_info *parent_info; ACPI_FUNCTION_TRACE_PTR(ds_is_result_used, op); /* Must have both an Op and a Result Object */ if (!op) { ACPI_ERROR((AE_INFO, "Null Op")); return_UINT8(TRUE); } /* * We know that this operator is not a * Return() operator (would not come here.) The following code is the * optional support for a so-called "implicit return". Some AML code * assumes that the last value of the method is "implicitly" returned * to the caller. Just save the last result as the return value. * NOTE: this is optional because the ASL language does not actually * support this behavior. */ (void)acpi_ds_do_implicit_return(walk_state->result_obj, walk_state, TRUE); /* * Now determine if the parent will use the result * * If there is no parent, or the parent is a scope_op, we are executing * at the method level. An executing method typically has no parent, * since each method is parsed separately. A method invoked externally * via execute_control_method has a scope_op as the parent. */ if ((!op->common.parent) || (op->common.parent->common.aml_opcode == AML_SCOPE_OP)) { /* No parent, the return value cannot possibly be used */ ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "At Method level, result of [%s] not used\n", acpi_ps_get_opcode_name(op->common. aml_opcode))); return_UINT8(FALSE); } /* Get info on the parent. The root_op is AML_SCOPE */ parent_info = acpi_ps_get_opcode_info(op->common.parent->common.aml_opcode); if (parent_info->class == AML_CLASS_UNKNOWN) { ACPI_ERROR((AE_INFO, "Unknown parent opcode Op=%p", op)); return_UINT8(FALSE); } /* * Decide what to do with the result based on the parent. If * the parent opcode will not use the result, delete the object. * Otherwise leave it as is, it will be deleted when it is used * as an operand later. */ switch (parent_info->class) { case AML_CLASS_CONTROL: switch (op->common.parent->common.aml_opcode) { case AML_RETURN_OP: /* Never delete the return value associated with a return opcode */ goto result_used; case AML_IF_OP: case AML_WHILE_OP: /* * If we are executing the predicate AND this is the predicate op, * we will use the return value */ if ((walk_state->control_state->common.state == ACPI_CONTROL_PREDICATE_EXECUTING) && (walk_state->control_state->control. predicate_op == op)) { goto result_used; } break; default: /* Ignore other control opcodes */ break; } /* The general control opcode returns no result */ goto result_not_used; case AML_CLASS_CREATE: /* * These opcodes allow term_arg(s) as operands and therefore * the operands can be method calls. The result is used. */ goto result_used; case AML_CLASS_NAMED_OBJECT: if ((op->common.parent->common.aml_opcode == AML_REGION_OP) || (op->common.parent->common.aml_opcode == AML_DATA_REGION_OP) || (op->common.parent->common.aml_opcode == AML_PACKAGE_OP) || (op->common.parent->common.aml_opcode == AML_VAR_PACKAGE_OP) || (op->common.parent->common.aml_opcode == AML_BUFFER_OP) || (op->common.parent->common.aml_opcode == AML_INT_EVAL_SUBTREE_OP) || (op->common.parent->common.aml_opcode == AML_BANK_FIELD_OP)) { /* * These opcodes allow term_arg(s) as operands and therefore * the operands can be method calls. The result is used. */ goto result_used; } goto result_not_used; default: /* * In all other cases. the parent will actually use the return * object, so keep it. */ goto result_used; } result_used: ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Result of [%s] used by Parent [%s] Op=%p\n", acpi_ps_get_opcode_name(op->common.aml_opcode), acpi_ps_get_opcode_name(op->common.parent->common. aml_opcode), op)); return_UINT8(TRUE); result_not_used: ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Result of [%s] not used by Parent [%s] Op=%p\n", acpi_ps_get_opcode_name(op->common.aml_opcode), acpi_ps_get_opcode_name(op->common.parent->common. aml_opcode), op)); return_UINT8(FALSE); } /******************************************************************************* * * FUNCTION: acpi_ds_delete_result_if_not_used * * PARAMETERS: Op - Current parse Op * result_obj - Result of the operation * walk_state - Current state * * RETURN: Status * * DESCRIPTION: Used after interpretation of an opcode. If there is an internal * result descriptor, check if the parent opcode will actually use * this result. If not, delete the result now so that it will * not become orphaned. * ******************************************************************************/ void acpi_ds_delete_result_if_not_used(union acpi_parse_object *op, union acpi_operand_object *result_obj, struct acpi_walk_state *walk_state) { union acpi_operand_object *obj_desc; acpi_status status; ACPI_FUNCTION_TRACE_PTR(ds_delete_result_if_not_used, result_obj); if (!op) { ACPI_ERROR((AE_INFO, "Null Op")); return_VOID; } if (!result_obj) { return_VOID; } if (!acpi_ds_is_result_used(op, walk_state)) { /* Must pop the result stack (obj_desc should be equal to result_obj) */ status = acpi_ds_result_pop(&obj_desc, walk_state); if (ACPI_SUCCESS(status)) { acpi_ut_remove_reference(result_obj); } } return_VOID; } /******************************************************************************* * * FUNCTION: acpi_ds_resolve_operands * * PARAMETERS: walk_state - Current walk state with operands on stack * * RETURN: Status * * DESCRIPTION: Resolve all operands to their values. Used to prepare * arguments to a control method invocation (a call from one * method to another.) * ******************************************************************************/ acpi_status acpi_ds_resolve_operands(struct acpi_walk_state *walk_state) { u32 i; acpi_status status = AE_OK; ACPI_FUNCTION_TRACE_PTR(ds_resolve_operands, walk_state); /* * Attempt to resolve each of the valid operands * Method arguments are passed by reference, not by value. This means * that the actual objects are passed, not copies of the objects. */ for (i = 0; i < walk_state->num_operands; i++) { status = acpi_ex_resolve_to_value(&walk_state->operands[i], walk_state); if (ACPI_FAILURE(status)) { break; } } return_ACPI_STATUS(status); } /******************************************************************************* * * FUNCTION: acpi_ds_clear_operands * * PARAMETERS: walk_state - Current walk state with operands on stack * * RETURN: None * * DESCRIPTION: Clear all operands on the current walk state operand stack. * ******************************************************************************/ void acpi_ds_clear_operands(struct acpi_walk_state *walk_state) { u32 i; ACPI_FUNCTION_TRACE_PTR(ds_clear_operands, walk_state); /* Remove a reference on each operand on the stack */ for (i = 0; i < walk_state->num_operands; i++) { /* * Remove a reference to all operands, including both * "Arguments" and "Targets". */ acpi_ut_remove_reference(walk_state->operands[i]); walk_state->operands[i] = NULL; } walk_state->num_operands = 0; return_VOID; } #endif /******************************************************************************* * * FUNCTION: acpi_ds_create_operand * * PARAMETERS: walk_state - Current walk state * Arg - Parse object for the argument * arg_index - Which argument (zero based) * * RETURN: Status * * DESCRIPTION: Translate a parse tree object that is an argument to an AML * opcode to the equivalent interpreter object. This may include * looking up a name or entering a new name into the internal * namespace. * ******************************************************************************/ acpi_status acpi_ds_create_operand(struct acpi_walk_state *walk_state, union acpi_parse_object *arg, u32 arg_index) { acpi_status status = AE_OK; char *name_string; u32 name_length; union acpi_operand_object *obj_desc; union acpi_parse_object *parent_op; u16 opcode; acpi_interpreter_mode interpreter_mode; const struct acpi_opcode_info *op_info; ACPI_FUNCTION_TRACE_PTR(ds_create_operand, arg); /* A valid name must be looked up in the namespace */ if ((arg->common.aml_opcode == AML_INT_NAMEPATH_OP) && (arg->common.value.string) && !(arg->common.flags & ACPI_PARSEOP_IN_STACK)) { ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Getting a name: Arg=%p\n", arg)); /* Get the entire name string from the AML stream */ status = acpi_ex_get_name_string(ACPI_TYPE_ANY, arg->common.value.buffer, &name_string, &name_length); if (ACPI_FAILURE(status)) { return_ACPI_STATUS(status); } /* All prefixes have been handled, and the name is in name_string */ /* * Special handling for buffer_field declarations. This is a deferred * opcode that unfortunately defines the field name as the last * parameter instead of the first. We get here when we are performing * the deferred execution, so the actual name of the field is already * in the namespace. We don't want to attempt to look it up again * because we may be executing in a different scope than where the * actual opcode exists. */ if ((walk_state->deferred_node) && (walk_state->deferred_node->type == ACPI_TYPE_BUFFER_FIELD) && (arg_index == (u32) ((walk_state->opcode == AML_CREATE_FIELD_OP) ? 3 : 2))) { obj_desc = ACPI_CAST_PTR(union acpi_operand_object, walk_state->deferred_node); status = AE_OK; } else { /* All other opcodes */ /* * Differentiate between a namespace "create" operation * versus a "lookup" operation (IMODE_LOAD_PASS2 vs. * IMODE_EXECUTE) in order to support the creation of * namespace objects during the execution of control methods. */ parent_op = arg->common.parent; op_info = acpi_ps_get_opcode_info(parent_op->common. aml_opcode); if ((op_info->flags & AML_NSNODE) && (parent_op->common.aml_opcode != AML_INT_METHODCALL_OP) && (parent_op->common.aml_opcode != AML_REGION_OP) && (parent_op->common.aml_opcode != AML_INT_NAMEPATH_OP)) { /* Enter name into namespace if not found */ interpreter_mode = ACPI_IMODE_LOAD_PASS2; } else { /* Return a failure if name not found */ interpreter_mode = ACPI_IMODE_EXECUTE; } status = acpi_ns_lookup(walk_state->scope_info, name_string, ACPI_TYPE_ANY, interpreter_mode, ACPI_NS_SEARCH_PARENT | ACPI_NS_DONT_OPEN_SCOPE, walk_state, ACPI_CAST_INDIRECT_PTR(struct acpi_namespace_node, &obj_desc)); /* * The only case where we pass through (ignore) a NOT_FOUND * error is for the cond_ref_of opcode. */ if (status == AE_NOT_FOUND) { if (parent_op->common.aml_opcode == AML_COND_REF_OF_OP) { /* * For the Conditional Reference op, it's OK if * the name is not found; We just need a way to * indicate this to the interpreter, set the * object to the root */ obj_desc = ACPI_CAST_PTR(union acpi_operand_object, acpi_gbl_root_node); status = AE_OK; } else { /* * We just plain didn't find it -- which is a * very serious error at this point */ status = AE_AML_NAME_NOT_FOUND; } } if (ACPI_FAILURE(status)) { ACPI_ERROR_NAMESPACE(name_string, status); } } /* Free the namestring created above */ ACPI_FREE(name_string); /* Check status from the lookup */ if (ACPI_FAILURE(status)) { return_ACPI_STATUS(status); } /* Put the resulting object onto the current object stack */ status = acpi_ds_obj_stack_push(obj_desc, walk_state); if (ACPI_FAILURE(status)) { return_ACPI_STATUS(status); } ACPI_DEBUGGER_EXEC(acpi_db_display_argument_object (obj_desc, walk_state)); } else { /* Check for null name case */ if ((arg->common.aml_opcode == AML_INT_NAMEPATH_OP) && !(arg->common.flags & ACPI_PARSEOP_IN_STACK)) { /* * If the name is null, this means that this is an * optional result parameter that was not specified * in the original ASL. Create a Zero Constant for a * placeholder. (Store to a constant is a Noop.) */ opcode = AML_ZERO_OP; /* Has no arguments! */ ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Null namepath: Arg=%p\n", arg)); } else { opcode = arg->common.aml_opcode; } /* Get the object type of the argument */ op_info = acpi_ps_get_opcode_info(opcode); if (op_info->object_type == ACPI_TYPE_INVALID) { return_ACPI_STATUS(AE_NOT_IMPLEMENTED); } if ((op_info->flags & AML_HAS_RETVAL) || (arg->common.flags & ACPI_PARSEOP_IN_STACK)) { ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Argument previously created, already stacked\n")); ACPI_DEBUGGER_EXEC(acpi_db_display_argument_object (walk_state-> operands[walk_state->num_operands - 1], walk_state)); /* * Use value that was already previously returned * by the evaluation of this argument */ status = acpi_ds_result_pop(&obj_desc, walk_state); if (ACPI_FAILURE(status)) { /* * Only error is underflow, and this indicates * a missing or null operand! */ ACPI_EXCEPTION((AE_INFO, status, "Missing or null operand")); return_ACPI_STATUS(status); } } else { /* Create an ACPI_INTERNAL_OBJECT for the argument */ obj_desc = acpi_ut_create_internal_object(op_info-> object_type); if (!obj_desc) { return_ACPI_STATUS(AE_NO_MEMORY); } /* Initialize the new object */ status = acpi_ds_init_object_from_op(walk_state, arg, opcode, &obj_desc); if (ACPI_FAILURE(status)) { acpi_ut_delete_object_desc(obj_desc); return_ACPI_STATUS(status); } } /* Put the operand object on the object stack */ status = acpi_ds_obj_stack_push(obj_desc, walk_state); if (ACPI_FAILURE(status)) { return_ACPI_STATUS(status); } ACPI_DEBUGGER_EXEC(acpi_db_display_argument_object (obj_desc, walk_state)); } return_ACPI_STATUS(AE_OK); } /******************************************************************************* * * FUNCTION: acpi_ds_create_operands * * PARAMETERS: walk_state - Current state * first_arg - First argument of a parser argument tree * * RETURN: Status * * DESCRIPTION: Convert an operator's arguments from a parse tree format to * namespace objects and place those argument object on the object * stack in preparation for evaluation by the interpreter. * ******************************************************************************/ acpi_status acpi_ds_create_operands(struct acpi_walk_state *walk_state, union acpi_parse_object *first_arg) { acpi_status status = AE_OK; union acpi_parse_object *arg; union acpi_parse_object *arguments[ACPI_OBJ_NUM_OPERANDS]; u32 arg_count = 0; u32 index = walk_state->num_operands; u32 i; ACPI_FUNCTION_TRACE_PTR(ds_create_operands, first_arg); /* Get all arguments in the list */ arg = first_arg; while (arg) { if (index >= ACPI_OBJ_NUM_OPERANDS) { return_ACPI_STATUS(AE_BAD_DATA); } arguments[index] = arg; walk_state->operands[index] = NULL; /* Move on to next argument, if any */ arg = arg->common.next; arg_count++; index++; } index--; /* It is the appropriate order to get objects from the Result stack */ for (i = 0; i < arg_count; i++) { arg = arguments[index]; /* Force the filling of the operand stack in inverse order */ walk_state->operand_index = (u8) index; status = acpi_ds_create_operand(walk_state, arg, index); if (ACPI_FAILURE(status)) { goto cleanup; } index--; ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Arg #%u (%p) done, Arg1=%p\n", index, arg, first_arg)); } return_ACPI_STATUS(status); cleanup: /* * We must undo everything done above; meaning that we must * pop everything off of the operand stack and delete those * objects */ acpi_ds_obj_stack_pop_and_delete(arg_count, walk_state); ACPI_EXCEPTION((AE_INFO, status, "While creating Arg %u", index)); return_ACPI_STATUS(status); } /***************************************************************************** * * FUNCTION: acpi_ds_evaluate_name_path * * PARAMETERS: walk_state - Current state of the parse tree walk, * the opcode of current operation should be * AML_INT_NAMEPATH_OP * * RETURN: Status * * DESCRIPTION: Translate the -name_path- parse tree object to the equivalent * interpreter object, convert it to value, if needed, duplicate * it, if needed, and push it onto the current result stack. * ****************************************************************************/ acpi_status acpi_ds_evaluate_name_path(struct acpi_walk_state *walk_state) { acpi_status status = AE_OK; union acpi_parse_object *op = walk_state->op; union acpi_operand_object **operand = &walk_state->operands[0]; union acpi_operand_object *new_obj_desc; u8 type; ACPI_FUNCTION_TRACE_PTR(ds_evaluate_name_path, walk_state); if (!op->common.parent) { /* This happens after certain exception processing */ goto exit; } if ((op->common.parent->common.aml_opcode == AML_PACKAGE_OP) || (op->common.parent->common.aml_opcode == AML_VAR_PACKAGE_OP) || (op->common.parent->common.aml_opcode == AML_REF_OF_OP)) { /* TBD: Should we specify this feature as a bit of op_info->Flags of these opcodes? */ goto exit; } status = acpi_ds_create_operand(walk_state, op, 0); if (ACPI_FAILURE(status)) { goto exit; } if (op->common.flags & ACPI_PARSEOP_TARGET) { new_obj_desc = *operand; goto push_result; } type = (*operand)->common.type; status = acpi_ex_resolve_to_value(operand, walk_state); if (ACPI_FAILURE(status)) { goto exit; } if (type == ACPI_TYPE_INTEGER) { /* It was incremented by acpi_ex_resolve_to_value */ acpi_ut_remove_reference(*operand); status = acpi_ut_copy_iobject_to_iobject(*operand, &new_obj_desc, walk_state); if (ACPI_FAILURE(status)) { goto exit; } } else { /* * The object either was anew created or is * a Namespace node - don't decrement it. */ new_obj_desc = *operand; } /* Cleanup for name-path operand */ status = acpi_ds_obj_stack_pop(1, walk_state); if (ACPI_FAILURE(status)) { walk_state->result_obj = new_obj_desc; goto exit; } push_result: walk_state->result_obj = new_obj_desc; status = acpi_ds_result_push(walk_state->result_obj, walk_state); if (ACPI_SUCCESS(status)) { /* Force to take it from stack */ op->common.flags |= ACPI_PARSEOP_IN_STACK; } exit: return_ACPI_STATUS(status); }