| /****************************************************************************** |
| * |
| * Module Name: exoparg6 - AML execution - opcodes with 6 arguments |
| * |
| *****************************************************************************/ |
| |
| /* |
| * Copyright (C) 2000 - 2020, 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. |
| * |
| * 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.h" |
| #include "accommon.h" |
| #include "acinterp.h" |
| #include "acparser.h" |
| #include "amlcode.h" |
| |
| |
| #define _COMPONENT ACPI_EXECUTER |
| ACPI_MODULE_NAME ("exoparg6") |
| |
| |
| /*! |
| * Naming convention for AML interpreter execution routines. |
| * |
| * The routines that begin execution of AML opcodes are named with a common |
| * convention based upon the number of arguments, the number of target operands, |
| * and whether or not a value is returned: |
| * |
| * AcpiExOpcode_xA_yT_zR |
| * |
| * Where: |
| * |
| * xA - ARGUMENTS: The number of arguments (input operands) that are |
| * required for this opcode type (1 through 6 args). |
| * yT - TARGETS: The number of targets (output operands) that are required |
| * for this opcode type (0, 1, or 2 targets). |
| * zR - RETURN VALUE: Indicates whether this opcode type returns a value |
| * as the function return (0 or 1). |
| * |
| * The AcpiExOpcode* functions are called via the Dispatcher component with |
| * fully resolved operands. |
| !*/ |
| |
| /* Local prototypes */ |
| |
| static BOOLEAN |
| AcpiExDoMatch ( |
| UINT32 MatchOp, |
| ACPI_OPERAND_OBJECT *PackageObj, |
| ACPI_OPERAND_OBJECT *MatchObj); |
| |
| |
| /******************************************************************************* |
| * |
| * FUNCTION: AcpiExDoMatch |
| * |
| * PARAMETERS: MatchOp - The AML match operand |
| * PackageObj - Object from the target package |
| * MatchObj - Object to be matched |
| * |
| * RETURN: TRUE if the match is successful, FALSE otherwise |
| * |
| * DESCRIPTION: Implements the low-level match for the ASL Match operator. |
| * Package elements will be implicitly converted to the type of |
| * the match object (Integer/Buffer/String). |
| * |
| ******************************************************************************/ |
| |
| static BOOLEAN |
| AcpiExDoMatch ( |
| UINT32 MatchOp, |
| ACPI_OPERAND_OBJECT *PackageObj, |
| ACPI_OPERAND_OBJECT *MatchObj) |
| { |
| BOOLEAN LogicalResult = TRUE; |
| ACPI_STATUS Status; |
| |
| |
| /* |
| * Note: Since the PackageObj/MatchObj ordering is opposite to that of |
| * the standard logical operators, we have to reverse them when we call |
| * DoLogicalOp in order to make the implicit conversion rules work |
| * correctly. However, this means we have to flip the entire equation |
| * also. A bit ugly perhaps, but overall, better than fussing the |
| * parameters around at runtime, over and over again. |
| * |
| * Below, P[i] refers to the package element, M refers to the Match object. |
| */ |
| switch (MatchOp) |
| { |
| case MATCH_MTR: |
| |
| /* Always true */ |
| |
| break; |
| |
| case MATCH_MEQ: |
| /* |
| * True if equal: (P[i] == M) |
| * Change to: (M == P[i]) |
| */ |
| Status = AcpiExDoLogicalOp ( |
| AML_LOGICAL_EQUAL_OP, MatchObj, PackageObj, &LogicalResult); |
| if (ACPI_FAILURE (Status)) |
| { |
| return (FALSE); |
| } |
| break; |
| |
| case MATCH_MLE: |
| /* |
| * True if less than or equal: (P[i] <= M) (P[i] NotGreater than M) |
| * Change to: (M >= P[i]) (M NotLess than P[i]) |
| */ |
| Status = AcpiExDoLogicalOp ( |
| AML_LOGICAL_LESS_OP, MatchObj, PackageObj, &LogicalResult); |
| if (ACPI_FAILURE (Status)) |
| { |
| return (FALSE); |
| } |
| LogicalResult = (BOOLEAN) !LogicalResult; |
| break; |
| |
| case MATCH_MLT: |
| /* |
| * True if less than: (P[i] < M) |
| * Change to: (M > P[i]) |
| */ |
| Status = AcpiExDoLogicalOp ( |
| AML_LOGICAL_GREATER_OP, MatchObj, PackageObj, &LogicalResult); |
| if (ACPI_FAILURE (Status)) |
| { |
| return (FALSE); |
| } |
| break; |
| |
| case MATCH_MGE: |
| /* |
| * True if greater than or equal: (P[i] >= M) (P[i] NotLess than M) |
| * Change to: (M <= P[i]) (M NotGreater than P[i]) |
| */ |
| Status = AcpiExDoLogicalOp ( |
| AML_LOGICAL_GREATER_OP, MatchObj, PackageObj, &LogicalResult); |
| if (ACPI_FAILURE (Status)) |
| { |
| return (FALSE); |
| } |
| LogicalResult = (BOOLEAN)!LogicalResult; |
| break; |
| |
| case MATCH_MGT: |
| /* |
| * True if greater than: (P[i] > M) |
| * Change to: (M < P[i]) |
| */ |
| Status = AcpiExDoLogicalOp ( |
| AML_LOGICAL_LESS_OP, MatchObj, PackageObj, &LogicalResult); |
| if (ACPI_FAILURE (Status)) |
| { |
| return (FALSE); |
| } |
| break; |
| |
| default: |
| |
| /* Undefined */ |
| |
| return (FALSE); |
| } |
| |
| return (LogicalResult); |
| } |
| |
| |
| /******************************************************************************* |
| * |
| * FUNCTION: AcpiExOpcode_6A_0T_1R |
| * |
| * PARAMETERS: WalkState - Current walk state |
| * |
| * RETURN: Status |
| * |
| * DESCRIPTION: Execute opcode with 6 arguments, no target, and a return value |
| * |
| ******************************************************************************/ |
| |
| ACPI_STATUS |
| AcpiExOpcode_6A_0T_1R ( |
| ACPI_WALK_STATE *WalkState) |
| { |
| ACPI_OPERAND_OBJECT **Operand = &WalkState->Operands[0]; |
| ACPI_OPERAND_OBJECT *ReturnDesc = NULL; |
| ACPI_STATUS Status = AE_OK; |
| UINT64 Index; |
| ACPI_OPERAND_OBJECT *ThisElement; |
| |
| |
| ACPI_FUNCTION_TRACE_STR (ExOpcode_6A_0T_1R, |
| AcpiPsGetOpcodeName (WalkState->Opcode)); |
| |
| |
| switch (WalkState->Opcode) |
| { |
| case AML_MATCH_OP: |
| /* |
| * Match (SearchPkg[0], MatchOp1[1], MatchObj1[2], |
| * MatchOp2[3], MatchObj2[4], StartIndex[5]) |
| */ |
| |
| /* Validate both Match Term Operators (MTR, MEQ, etc.) */ |
| |
| if ((Operand[1]->Integer.Value > MAX_MATCH_OPERATOR) || |
| (Operand[3]->Integer.Value > MAX_MATCH_OPERATOR)) |
| { |
| ACPI_ERROR ((AE_INFO, "Match operator out of range")); |
| Status = AE_AML_OPERAND_VALUE; |
| goto Cleanup; |
| } |
| |
| /* Get the package StartIndex, validate against the package length */ |
| |
| Index = Operand[5]->Integer.Value; |
| if (Index >= Operand[0]->Package.Count) |
| { |
| ACPI_ERROR ((AE_INFO, |
| "Index (0x%8.8X%8.8X) beyond package end (0x%X)", |
| ACPI_FORMAT_UINT64 (Index), Operand[0]->Package.Count)); |
| Status = AE_AML_PACKAGE_LIMIT; |
| goto Cleanup; |
| } |
| |
| /* Create an integer for the return value */ |
| /* Default return value is ACPI_UINT64_MAX if no match found */ |
| |
| ReturnDesc = AcpiUtCreateIntegerObject (ACPI_UINT64_MAX); |
| if (!ReturnDesc) |
| { |
| Status = AE_NO_MEMORY; |
| goto Cleanup; |
| |
| } |
| |
| /* |
| * Examine each element until a match is found. Both match conditions |
| * must be satisfied for a match to occur. Within the loop, |
| * "continue" signifies that the current element does not match |
| * and the next should be examined. |
| * |
| * Upon finding a match, the loop will terminate via "break" at |
| * the bottom. If it terminates "normally", MatchValue will be |
| * ACPI_UINT64_MAX (Ones) (its initial value) indicating that no |
| * match was found. |
| */ |
| for ( ; Index < Operand[0]->Package.Count; Index++) |
| { |
| /* Get the current package element */ |
| |
| ThisElement = Operand[0]->Package.Elements[Index]; |
| |
| /* Treat any uninitialized (NULL) elements as non-matching */ |
| |
| if (!ThisElement) |
| { |
| continue; |
| } |
| |
| /* |
| * Both match conditions must be satisfied. Execution of a continue |
| * (proceed to next iteration of enclosing for loop) signifies a |
| * non-match. |
| */ |
| if (!AcpiExDoMatch ((UINT32) Operand[1]->Integer.Value, |
| ThisElement, Operand[2])) |
| { |
| continue; |
| } |
| |
| if (!AcpiExDoMatch ((UINT32) Operand[3]->Integer.Value, |
| ThisElement, Operand[4])) |
| { |
| continue; |
| } |
| |
| /* Match found: Index is the return value */ |
| |
| ReturnDesc->Integer.Value = Index; |
| break; |
| } |
| break; |
| |
| case AML_LOAD_TABLE_OP: |
| |
| Status = AcpiExLoadTableOp (WalkState, &ReturnDesc); |
| break; |
| |
| default: |
| |
| ACPI_ERROR ((AE_INFO, "Unknown AML opcode 0x%X", |
| WalkState->Opcode)); |
| |
| Status = AE_AML_BAD_OPCODE; |
| goto Cleanup; |
| } |
| |
| |
| Cleanup: |
| |
| /* Delete return object on error */ |
| |
| if (ACPI_FAILURE (Status)) |
| { |
| AcpiUtRemoveReference (ReturnDesc); |
| } |
| |
| /* Save return object on success */ |
| |
| else |
| { |
| WalkState->ResultObj = ReturnDesc; |
| } |
| |
| return_ACPI_STATUS (Status); |
| } |
