acpica/parser/psloop.c

db2bae30SDana Myers/******************************************************************************
db2bae30SDana Myers *
db2bae30SDana Myers * Module Name: psloop - Main AML parse loop
db2bae30SDana Myers *
db2bae30SDana Myers *****************************************************************************/
db2bae30SDana Myers
26f3cdf0SGordon Ross/*
*385cc6b4SJerry Jelinek * Copyright (C) 2000 - 2016, Intel Corp.
db2bae30SDana Myers * All rights reserved.
db2bae30SDana Myers *
26f3cdf0SGordon Ross * Redistribution and use in source and binary forms, with or without
26f3cdf0SGordon Ross * modification, are permitted provided that the following conditions
26f3cdf0SGordon Ross * are met:
26f3cdf0SGordon Ross * 1. Redistributions of source code must retain the above copyright
26f3cdf0SGordon Ross *    notice, this list of conditions, and the following disclaimer,
26f3cdf0SGordon Ross *    without modification.
26f3cdf0SGordon Ross * 2. Redistributions in binary form must reproduce at minimum a disclaimer
26f3cdf0SGordon Ross *    substantially similar to the "NO WARRANTY" disclaimer below
26f3cdf0SGordon Ross *    ("Disclaimer") and any redistribution must be conditioned upon
26f3cdf0SGordon Ross *    including a substantially similar Disclaimer requirement for further
26f3cdf0SGordon Ross *    binary redistribution.
26f3cdf0SGordon Ross * 3. Neither the names of the above-listed copyright holders nor the names
26f3cdf0SGordon Ross *    of any contributors may be used to endorse or promote products derived
26f3cdf0SGordon Ross *    from this software without specific prior written permission.
db2bae30SDana Myers *
26f3cdf0SGordon Ross * Alternatively, this software may be distributed under the terms of the
26f3cdf0SGordon Ross * GNU General Public License ("GPL") version 2 as published by the Free
26f3cdf0SGordon Ross * Software Foundation.
db2bae30SDana Myers *
26f3cdf0SGordon Ross * NO WARRANTY
26f3cdf0SGordon Ross * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
26f3cdf0SGordon Ross * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
26f3cdf0SGordon Ross * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR
26f3cdf0SGordon Ross * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
26f3cdf0SGordon Ross * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26f3cdf0SGordon Ross * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
26f3cdf0SGordon Ross * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
26f3cdf0SGordon Ross * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
26f3cdf0SGordon Ross * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
26f3cdf0SGordon Ross * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26f3cdf0SGordon Ross * POSSIBILITY OF SUCH DAMAGES.
26f3cdf0SGordon Ross */
db2bae30SDana Myers
db2bae30SDana Myers/*
db2bae30SDana Myers * Parse the AML and build an operation tree as most interpreters, (such as
db2bae30SDana Myers * Perl) do. Parsing is done by hand rather than with a YACC generated parser
db2bae30SDana Myers * to tightly constrain stack and dynamic memory usage. Parsing is kept
db2bae30SDana Myers * flexible and the code fairly compact by parsing based on a list of AML
db2bae30SDana Myers * opcode templates in AmlOpInfo[].
db2bae30SDana Myers */
db2bae30SDana Myers
db2bae30SDana Myers#include "acpi.h"
aa2aa9a6SDana Myers#include "accommon.h"
*385cc6b4SJerry Jelinek#include "acinterp.h"
db2bae30SDana Myers#include "acparser.h"
db2bae30SDana Myers#include "acdispat.h"
db2bae30SDana Myers#include "amlcode.h"
db2bae30SDana Myers
db2bae30SDana Myers#define _COMPONENT          ACPI_PARSER
db2bae30SDana Myers        ACPI_MODULE_NAME    ("psloop")
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers/* Local prototypes */
db2bae30SDana Myers
db2bae30SDana Myersstatic ACPI_STATUS
db2bae30SDana MyersAcpiPsGetArguments (
db2bae30SDana Myers    ACPI_WALK_STATE         *WalkState,
db2bae30SDana Myers    UINT8                   *AmlOpStart,
db2bae30SDana Myers    ACPI_PARSE_OBJECT       *Op);
db2bae30SDana Myers
57190917SDana Myersstatic void
57190917SDana MyersAcpiPsLinkModuleCode (
57190917SDana Myers    ACPI_PARSE_OBJECT       *ParentOp,
57190917SDana Myers    UINT8                   *AmlStart,
57190917SDana Myers    UINT32                  AmlLength,
57190917SDana Myers    ACPI_OWNER_ID           OwnerId);
57190917SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers/*******************************************************************************
db2bae30SDana Myers *
db2bae30SDana Myers * FUNCTION:    AcpiPsGetArguments
db2bae30SDana Myers *
db2bae30SDana Myers * PARAMETERS:  WalkState           - Current state
db2bae30SDana Myers *              AmlOpStart          - Op start in AML
db2bae30SDana Myers *              Op                  - Current Op
db2bae30SDana Myers *
db2bae30SDana Myers * RETURN:      Status
db2bae30SDana Myers *
db2bae30SDana Myers * DESCRIPTION: Get arguments for passed Op.
db2bae30SDana Myers *
db2bae30SDana Myers ******************************************************************************/
db2bae30SDana Myers
db2bae30SDana Myersstatic ACPI_STATUS
db2bae30SDana MyersAcpiPsGetArguments (
db2bae30SDana Myers    ACPI_WALK_STATE         *WalkState,
db2bae30SDana Myers    UINT8                   *AmlOpStart,
db2bae30SDana Myers    ACPI_PARSE_OBJECT       *Op)
db2bae30SDana Myers{
db2bae30SDana Myers    ACPI_STATUS             Status = AE_OK;
db2bae30SDana Myers    ACPI_PARSE_OBJECT       *Arg = NULL;
57190917SDana Myers    const ACPI_OPCODE_INFO  *OpInfo;
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers    ACPI_FUNCTION_TRACE_PTR (PsGetArguments, WalkState);
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers    switch (Op->Common.AmlOpcode)
db2bae30SDana Myers    {
db2bae30SDana Myers    case AML_BYTE_OP:       /* AML_BYTEDATA_ARG */
db2bae30SDana Myers    case AML_WORD_OP:       /* AML_WORDDATA_ARG */
db2bae30SDana Myers    case AML_DWORD_OP:      /* AML_DWORDATA_ARG */
db2bae30SDana Myers    case AML_QWORD_OP:      /* AML_QWORDATA_ARG */
db2bae30SDana Myers    case AML_STRING_OP:     /* AML_ASCIICHARLIST_ARG */
db2bae30SDana Myers
db2bae30SDana Myers        /* Fill in constant or string argument directly */
db2bae30SDana Myers
db2bae30SDana Myers        AcpiPsGetNextSimpleArg (&(WalkState->ParserState),
db2bae30SDana Myers            GET_CURRENT_ARG_TYPE (WalkState->ArgTypes), Op);
db2bae30SDana Myers        break;
db2bae30SDana Myers
db2bae30SDana Myers    case AML_INT_NAMEPATH_OP:   /* AML_NAMESTRING_ARG */
db2bae30SDana Myers
*385cc6b4SJerry Jelinek        Status = AcpiPsGetNextNamepath (WalkState,
*385cc6b4SJerry Jelinek            &(WalkState->ParserState), Op, ACPI_POSSIBLE_METHOD_CALL);
db2bae30SDana Myers        if (ACPI_FAILURE (Status))
db2bae30SDana Myers        {
db2bae30SDana Myers            return_ACPI_STATUS (Status);
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        WalkState->ArgTypes = 0;
db2bae30SDana Myers        break;
db2bae30SDana Myers
db2bae30SDana Myers    default:
db2bae30SDana Myers        /*
db2bae30SDana Myers         * Op is not a constant or string, append each argument to the Op
db2bae30SDana Myers         */
*385cc6b4SJerry Jelinek        while (GET_CURRENT_ARG_TYPE (WalkState->ArgTypes) &&
*385cc6b4SJerry Jelinek            !WalkState->ArgCount)
db2bae30SDana Myers        {
*385cc6b4SJerry Jelinek            WalkState->Aml = WalkState->ParserState.Aml;
db2bae30SDana Myers
db2bae30SDana Myers            Status = AcpiPsGetNextArg (WalkState, &(WalkState->ParserState),
db2bae30SDana Myers                GET_CURRENT_ARG_TYPE (WalkState->ArgTypes), &Arg);
db2bae30SDana Myers            if (ACPI_FAILURE (Status))
db2bae30SDana Myers            {
db2bae30SDana Myers                return_ACPI_STATUS (Status);
db2bae30SDana Myers            }
db2bae30SDana Myers
db2bae30SDana Myers            if (Arg)
db2bae30SDana Myers            {
db2bae30SDana Myers                AcpiPsAppendArg (Op, Arg);
db2bae30SDana Myers            }
db2bae30SDana Myers
db2bae30SDana Myers            INCREMENT_ARG_LIST (WalkState->ArgTypes);
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers
57190917SDana Myers        /*
57190917SDana Myers         * Handle executable code at "module-level". This refers to
57190917SDana Myers         * executable opcodes that appear outside of any control method.
57190917SDana Myers         */
57190917SDana Myers        if ((WalkState->PassNumber <= ACPI_IMODE_LOAD_PASS2) &&
db2bae30SDana Myers            ((WalkState->ParseFlags & ACPI_PARSE_DISASSEMBLE) == 0))
db2bae30SDana Myers        {
db2bae30SDana Myers            /*
db2bae30SDana Myers             * We want to skip If/Else/While constructs during Pass1 because we
db2bae30SDana Myers             * want to actually conditionally execute the code during Pass2.
db2bae30SDana Myers             *
db2bae30SDana Myers             * Except for disassembly, where we always want to walk the
db2bae30SDana Myers             * If/Else/While packages
db2bae30SDana Myers             */
db2bae30SDana Myers            switch (Op->Common.AmlOpcode)
db2bae30SDana Myers            {
db2bae30SDana Myers            case AML_IF_OP:
db2bae30SDana Myers            case AML_ELSE_OP:
db2bae30SDana Myers            case AML_WHILE_OP:
57190917SDana Myers                /*
57190917SDana Myers                 * Currently supported module-level opcodes are:
57190917SDana Myers                 * IF/ELSE/WHILE. These appear to be the most common,
57190917SDana Myers                 * and easiest to support since they open an AML
57190917SDana Myers                 * package.
57190917SDana Myers                 */
57190917SDana Myers                if (WalkState->PassNumber == ACPI_IMODE_LOAD_PASS1)
57190917SDana Myers                {
57190917SDana Myers                    AcpiPsLinkModuleCode (Op->Common.Parent, AmlOpStart,
57190917SDana Myers                        (UINT32) (WalkState->ParserState.PkgEnd - AmlOpStart),
57190917SDana Myers                        WalkState->OwnerId);
57190917SDana Myers                }
57190917SDana Myers
db2bae30SDana Myers                ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
db2bae30SDana Myers                    "Pass1: Skipping an If/Else/While body\n"));
db2bae30SDana Myers
db2bae30SDana Myers                /* Skip body of if/else/while in pass 1 */
db2bae30SDana Myers
db2bae30SDana Myers                WalkState->ParserState.Aml = WalkState->ParserState.PkgEnd;
db2bae30SDana Myers                WalkState->ArgCount = 0;
db2bae30SDana Myers                break;
db2bae30SDana Myers
db2bae30SDana Myers            default:
57190917SDana Myers                /*
57190917SDana Myers                 * Check for an unsupported executable opcode at module
57190917SDana Myers                 * level. We must be in PASS1, the parent must be a SCOPE,
57190917SDana Myers                 * The opcode class must be EXECUTE, and the opcode must
57190917SDana Myers                 * not be an argument to another opcode.
57190917SDana Myers                 */
57190917SDana Myers                if ((WalkState->PassNumber == ACPI_IMODE_LOAD_PASS1) &&
57190917SDana Myers                    (Op->Common.Parent->Common.AmlOpcode == AML_SCOPE_OP))
57190917SDana Myers                {
57190917SDana Myers                    OpInfo = AcpiPsGetOpcodeInfo (Op->Common.AmlOpcode);
57190917SDana Myers                    if ((OpInfo->Class == AML_CLASS_EXECUTE) &&
57190917SDana Myers                        (!Arg))
57190917SDana Myers                    {
57190917SDana Myers                        ACPI_WARNING ((AE_INFO,
*385cc6b4SJerry Jelinek                            "Unsupported module-level executable opcode "
*385cc6b4SJerry Jelinek                            "0x%.2X at table offset 0x%.4X",
57190917SDana Myers                            Op->Common.AmlOpcode,
57190917SDana Myers                            (UINT32) (ACPI_PTR_DIFF (AmlOpStart,
57190917SDana Myers                                WalkState->ParserState.AmlStart) +
57190917SDana Myers                                sizeof (ACPI_TABLE_HEADER))));
57190917SDana Myers                    }
57190917SDana Myers                }
db2bae30SDana Myers                break;
db2bae30SDana Myers            }
db2bae30SDana Myers        }
57190917SDana Myers
57190917SDana Myers        /* Special processing for certain opcodes */
db2bae30SDana Myers
db2bae30SDana Myers        switch (Op->Common.AmlOpcode)
db2bae30SDana Myers        {
db2bae30SDana Myers        case AML_METHOD_OP:
db2bae30SDana Myers            /*
db2bae30SDana Myers             * Skip parsing of control method because we don't have enough
db2bae30SDana Myers             * info in the first pass to parse it correctly.
db2bae30SDana Myers             *
db2bae30SDana Myers             * Save the length and address of the body
db2bae30SDana Myers             */
db2bae30SDana Myers            Op->Named.Data = WalkState->ParserState.Aml;
db2bae30SDana Myers            Op->Named.Length = (UINT32)
db2bae30SDana Myers                (WalkState->ParserState.PkgEnd - WalkState->ParserState.Aml);
db2bae30SDana Myers
db2bae30SDana Myers            /* Skip body of method */
db2bae30SDana Myers
db2bae30SDana Myers            WalkState->ParserState.Aml = WalkState->ParserState.PkgEnd;
db2bae30SDana Myers            WalkState->ArgCount = 0;
db2bae30SDana Myers            break;
db2bae30SDana Myers
db2bae30SDana Myers        case AML_BUFFER_OP:
db2bae30SDana Myers        case AML_PACKAGE_OP:
db2bae30SDana Myers        case AML_VAR_PACKAGE_OP:
db2bae30SDana Myers
db2bae30SDana Myers            if ((Op->Common.Parent) &&
db2bae30SDana Myers                (Op->Common.Parent->Common.AmlOpcode == AML_NAME_OP) &&
db2bae30SDana Myers                (WalkState->PassNumber <= ACPI_IMODE_LOAD_PASS2))
db2bae30SDana Myers            {
db2bae30SDana Myers                /*
db2bae30SDana Myers                 * Skip parsing of Buffers and Packages because we don't have
db2bae30SDana Myers                 * enough info in the first pass to parse them correctly.
db2bae30SDana Myers                 */
db2bae30SDana Myers                Op->Named.Data = AmlOpStart;
db2bae30SDana Myers                Op->Named.Length = (UINT32)
db2bae30SDana Myers                    (WalkState->ParserState.PkgEnd - AmlOpStart);
db2bae30SDana Myers
db2bae30SDana Myers                /* Skip body */
db2bae30SDana Myers
db2bae30SDana Myers                WalkState->ParserState.Aml = WalkState->ParserState.PkgEnd;
db2bae30SDana Myers                WalkState->ArgCount = 0;
db2bae30SDana Myers            }
db2bae30SDana Myers            break;
db2bae30SDana Myers
db2bae30SDana Myers        case AML_WHILE_OP:
db2bae30SDana Myers
db2bae30SDana Myers            if (WalkState->ControlState)
db2bae30SDana Myers            {
db2bae30SDana Myers                WalkState->ControlState->Control.PackageEnd =
db2bae30SDana Myers                    WalkState->ParserState.PkgEnd;
db2bae30SDana Myers            }
db2bae30SDana Myers            break;
db2bae30SDana Myers
db2bae30SDana Myers        default:
db2bae30SDana Myers
db2bae30SDana Myers            /* No action for all other opcodes */
*385cc6b4SJerry Jelinek
db2bae30SDana Myers            break;
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        break;
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers    return_ACPI_STATUS (AE_OK);
db2bae30SDana Myers}
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers/*******************************************************************************
db2bae30SDana Myers *
57190917SDana Myers * FUNCTION:    AcpiPsLinkModuleCode
57190917SDana Myers *
57190917SDana Myers * PARAMETERS:  ParentOp            - Parent parser op
57190917SDana Myers *              AmlStart            - Pointer to the AML
57190917SDana Myers *              AmlLength           - Length of executable AML
57190917SDana Myers *              OwnerId             - OwnerId of module level code
57190917SDana Myers *
57190917SDana Myers * RETURN:      None.
57190917SDana Myers *
57190917SDana Myers * DESCRIPTION: Wrap the module-level code with a method object and link the
57190917SDana Myers *              object to the global list. Note, the mutex field of the method
57190917SDana Myers *              object is used to link multiple module-level code objects.
57190917SDana Myers *
57190917SDana Myers ******************************************************************************/
57190917SDana Myers
57190917SDana Myersstatic void
57190917SDana MyersAcpiPsLinkModuleCode (
57190917SDana Myers    ACPI_PARSE_OBJECT       *ParentOp,
57190917SDana Myers    UINT8                   *AmlStart,
57190917SDana Myers    UINT32                  AmlLength,
57190917SDana Myers    ACPI_OWNER_ID           OwnerId)
57190917SDana Myers{
57190917SDana Myers    ACPI_OPERAND_OBJECT     *Prev;
57190917SDana Myers    ACPI_OPERAND_OBJECT     *Next;
57190917SDana Myers    ACPI_OPERAND_OBJECT     *MethodObj;
57190917SDana Myers    ACPI_NAMESPACE_NODE     *ParentNode;
57190917SDana Myers
57190917SDana Myers
*385cc6b4SJerry Jelinek    ACPI_FUNCTION_TRACE (PsLinkModuleCode);
*385cc6b4SJerry Jelinek
*385cc6b4SJerry Jelinek
57190917SDana Myers    /* Get the tail of the list */
57190917SDana Myers
57190917SDana Myers    Prev = Next = AcpiGbl_ModuleCodeList;
57190917SDana Myers    while (Next)
57190917SDana Myers    {
57190917SDana Myers        Prev = Next;
57190917SDana Myers        Next = Next->Method.Mutex;
57190917SDana Myers    }
57190917SDana Myers
57190917SDana Myers    /*
57190917SDana Myers     * Insert the module level code into the list. Merge it if it is
57190917SDana Myers     * adjacent to the previous element.
57190917SDana Myers     */
57190917SDana Myers    if (!Prev ||
57190917SDana Myers       ((Prev->Method.AmlStart + Prev->Method.AmlLength) != AmlStart))
57190917SDana Myers    {
57190917SDana Myers        /* Create, initialize, and link a new temporary method object */
57190917SDana Myers
57190917SDana Myers        MethodObj = AcpiUtCreateInternalObject (ACPI_TYPE_METHOD);
57190917SDana Myers        if (!MethodObj)
57190917SDana Myers        {
*385cc6b4SJerry Jelinek            return_VOID;
57190917SDana Myers        }
57190917SDana Myers
*385cc6b4SJerry Jelinek        ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
*385cc6b4SJerry Jelinek            "Create/Link new code block: %p\n", MethodObj));
*385cc6b4SJerry Jelinek
57190917SDana Myers        if (ParentOp->Common.Node)
57190917SDana Myers        {
57190917SDana Myers            ParentNode = ParentOp->Common.Node;
57190917SDana Myers        }
57190917SDana Myers        else
57190917SDana Myers        {
57190917SDana Myers            ParentNode = AcpiGbl_RootNode;
57190917SDana Myers        }
57190917SDana Myers
57190917SDana Myers        MethodObj->Method.AmlStart = AmlStart;
57190917SDana Myers        MethodObj->Method.AmlLength = AmlLength;
57190917SDana Myers        MethodObj->Method.OwnerId = OwnerId;
26f3cdf0SGordon Ross        MethodObj->Method.InfoFlags |= ACPI_METHOD_MODULE_LEVEL;
57190917SDana Myers
57190917SDana Myers        /*
57190917SDana Myers         * Save the parent node in NextObject. This is cheating, but we
57190917SDana Myers         * don't want to expand the method object.
57190917SDana Myers         */
57190917SDana Myers        MethodObj->Method.NextObject =
57190917SDana Myers            ACPI_CAST_PTR (ACPI_OPERAND_OBJECT, ParentNode);
57190917SDana Myers
57190917SDana Myers        if (!Prev)
57190917SDana Myers        {
57190917SDana Myers            AcpiGbl_ModuleCodeList = MethodObj;
57190917SDana Myers        }
57190917SDana Myers        else
57190917SDana Myers        {
57190917SDana Myers            Prev->Method.Mutex = MethodObj;
57190917SDana Myers        }
57190917SDana Myers    }
57190917SDana Myers    else
57190917SDana Myers    {
*385cc6b4SJerry Jelinek        ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
*385cc6b4SJerry Jelinek            "Appending to existing code block: %p\n", Prev));
*385cc6b4SJerry Jelinek
57190917SDana Myers        Prev->Method.AmlLength += AmlLength;
57190917SDana Myers    }
*385cc6b4SJerry Jelinek
*385cc6b4SJerry Jelinek    return_VOID;
57190917SDana Myers}
57190917SDana Myers
db2bae30SDana Myers/*******************************************************************************
db2bae30SDana Myers *
db2bae30SDana Myers * FUNCTION:    AcpiPsParseLoop
db2bae30SDana Myers *
db2bae30SDana Myers * PARAMETERS:  WalkState           - Current state
db2bae30SDana Myers *
db2bae30SDana Myers * RETURN:      Status
db2bae30SDana Myers *
db2bae30SDana Myers * DESCRIPTION: Parse AML (pointed to by the current parser state) and return
db2bae30SDana Myers *              a tree of ops.
db2bae30SDana Myers *
db2bae30SDana Myers ******************************************************************************/
db2bae30SDana Myers
db2bae30SDana MyersACPI_STATUS
db2bae30SDana MyersAcpiPsParseLoop (
db2bae30SDana Myers    ACPI_WALK_STATE         *WalkState)
db2bae30SDana Myers{
db2bae30SDana Myers    ACPI_STATUS             Status = AE_OK;
db2bae30SDana Myers    ACPI_PARSE_OBJECT       *Op = NULL;     /* current op */
db2bae30SDana Myers    ACPI_PARSE_STATE        *ParserState;
db2bae30SDana Myers    UINT8                   *AmlOpStart = NULL;
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers    ACPI_FUNCTION_TRACE_PTR (PsParseLoop, WalkState);
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers    if (WalkState->DescendingCallback == NULL)
db2bae30SDana Myers    {
db2bae30SDana Myers        return_ACPI_STATUS (AE_BAD_PARAMETER);
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers    ParserState = &WalkState->ParserState;
db2bae30SDana Myers    WalkState->ArgTypes = 0;
db2bae30SDana Myers
db2bae30SDana Myers#if (!defined (ACPI_NO_METHOD_EXECUTION) && !defined (ACPI_CONSTANT_EVAL_ONLY))
db2bae30SDana Myers
db2bae30SDana Myers    if (WalkState->WalkType & ACPI_WALK_METHOD_RESTART)
db2bae30SDana Myers    {
db2bae30SDana Myers        /* We are restarting a preempted control method */
db2bae30SDana Myers
db2bae30SDana Myers        if (AcpiPsHasCompletedScope (ParserState))
db2bae30SDana Myers        {
db2bae30SDana Myers            /*
db2bae30SDana Myers             * We must check if a predicate to an IF or WHILE statement
db2bae30SDana Myers             * was just completed
db2bae30SDana Myers             */
db2bae30SDana Myers            if ((ParserState->Scope->ParseScope.Op) &&
db2bae30SDana Myers               ((ParserState->Scope->ParseScope.Op->Common.AmlOpcode == AML_IF_OP) ||
db2bae30SDana Myers                (ParserState->Scope->ParseScope.Op->Common.AmlOpcode == AML_WHILE_OP)) &&
db2bae30SDana Myers                (WalkState->ControlState) &&
db2bae30SDana Myers                (WalkState->ControlState->Common.State ==
db2bae30SDana Myers                    ACPI_CONTROL_PREDICATE_EXECUTING))
db2bae30SDana Myers            {
db2bae30SDana Myers                /*
db2bae30SDana Myers                 * A predicate was just completed, get the value of the
db2bae30SDana Myers                 * predicate and branch based on that value
db2bae30SDana Myers                 */
db2bae30SDana Myers                WalkState->Op = NULL;
db2bae30SDana Myers                Status = AcpiDsGetPredicateValue (WalkState, ACPI_TO_POINTER (TRUE));
db2bae30SDana Myers                if (ACPI_FAILURE (Status) &&
db2bae30SDana Myers                    ((Status & AE_CODE_MASK) != AE_CODE_CONTROL))
db2bae30SDana Myers                {
db2bae30SDana Myers                    if (Status == AE_AML_NO_RETURN_VALUE)
db2bae30SDana Myers                    {
db2bae30SDana Myers                        ACPI_EXCEPTION ((AE_INFO, Status,
db2bae30SDana Myers                            "Invoked method did not return a value"));
db2bae30SDana Myers                    }
db2bae30SDana Myers
db2bae30SDana Myers                    ACPI_EXCEPTION ((AE_INFO, Status, "GetPredicate Failed"));
db2bae30SDana Myers                    return_ACPI_STATUS (Status);
db2bae30SDana Myers                }
db2bae30SDana Myers
db2bae30SDana Myers                Status = AcpiPsNextParseState (WalkState, Op, Status);
db2bae30SDana Myers            }
db2bae30SDana Myers
db2bae30SDana Myers            AcpiPsPopScope (ParserState, &Op,
db2bae30SDana Myers                &WalkState->ArgTypes, &WalkState->ArgCount);
db2bae30SDana Myers            ACPI_DEBUG_PRINT ((ACPI_DB_PARSE, "Popped scope, Op=%p\n", Op));
db2bae30SDana Myers        }
db2bae30SDana Myers        else if (WalkState->PrevOp)
db2bae30SDana Myers        {
db2bae30SDana Myers            /* We were in the middle of an op */
db2bae30SDana Myers
db2bae30SDana Myers            Op = WalkState->PrevOp;
db2bae30SDana Myers            WalkState->ArgTypes = WalkState->PrevArgTypes;
db2bae30SDana Myers        }
db2bae30SDana Myers    }
db2bae30SDana Myers#endif
db2bae30SDana Myers
db2bae30SDana Myers    /* Iterative parsing loop, while there is more AML to process: */
db2bae30SDana Myers
db2bae30SDana Myers    while ((ParserState->Aml < ParserState->AmlEnd) || (Op))
db2bae30SDana Myers    {
db2bae30SDana Myers        AmlOpStart = ParserState->Aml;
db2bae30SDana Myers        if (!Op)
db2bae30SDana Myers        {
db2bae30SDana Myers            Status = AcpiPsCreateOp (WalkState, AmlOpStart, &Op);
db2bae30SDana Myers            if (ACPI_FAILURE (Status))
db2bae30SDana Myers            {
db2bae30SDana Myers                if (Status == AE_CTRL_PARSE_CONTINUE)
db2bae30SDana Myers                {
db2bae30SDana Myers                    continue;
db2bae30SDana Myers                }
db2bae30SDana Myers
db2bae30SDana Myers                if (Status == AE_CTRL_PARSE_PENDING)
db2bae30SDana Myers                {
db2bae30SDana Myers                    Status = AE_OK;
db2bae30SDana Myers                }
db2bae30SDana Myers
*385cc6b4SJerry Jelinek                if (Status == AE_CTRL_TERMINATE)
*385cc6b4SJerry Jelinek                {
*385cc6b4SJerry Jelinek                    return_ACPI_STATUS (Status);
*385cc6b4SJerry Jelinek                }
*385cc6b4SJerry Jelinek
db2bae30SDana Myers                Status = AcpiPsCompleteOp (WalkState, &Op, Status);
db2bae30SDana Myers                if (ACPI_FAILURE (Status))
db2bae30SDana Myers                {
db2bae30SDana Myers                    return_ACPI_STATUS (Status);
db2bae30SDana Myers                }
db2bae30SDana Myers
db2bae30SDana Myers                continue;
db2bae30SDana Myers            }
db2bae30SDana Myers
*385cc6b4SJerry Jelinek            AcpiExStartTraceOpcode (Op, WalkState);
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers        /*
db2bae30SDana Myers         * Start ArgCount at zero because we don't know if there are
db2bae30SDana Myers         * any args yet
db2bae30SDana Myers         */
db2bae30SDana Myers        WalkState->ArgCount  = 0;
db2bae30SDana Myers
db2bae30SDana Myers        /* Are there any arguments that must be processed? */
db2bae30SDana Myers
db2bae30SDana Myers        if (WalkState->ArgTypes)
db2bae30SDana Myers        {
db2bae30SDana Myers            /* Get arguments */
db2bae30SDana Myers
db2bae30SDana Myers            Status = AcpiPsGetArguments (WalkState, AmlOpStart, Op);
db2bae30SDana Myers            if (ACPI_FAILURE (Status))
db2bae30SDana Myers            {
db2bae30SDana Myers                Status = AcpiPsCompleteOp (WalkState, &Op, Status);
db2bae30SDana Myers                if (ACPI_FAILURE (Status))
db2bae30SDana Myers                {
db2bae30SDana Myers                    return_ACPI_STATUS (Status);
db2bae30SDana Myers                }
db2bae30SDana Myers
db2bae30SDana Myers                continue;
db2bae30SDana Myers            }
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        /* Check for arguments that need to be processed */
db2bae30SDana Myers
db2bae30SDana Myers        if (WalkState->ArgCount)
db2bae30SDana Myers        {
db2bae30SDana Myers            /*
db2bae30SDana Myers             * There are arguments (complex ones), push Op and
db2bae30SDana Myers             * prepare for argument
db2bae30SDana Myers             */
db2bae30SDana Myers            Status = AcpiPsPushScope (ParserState, Op,
db2bae30SDana Myers                WalkState->ArgTypes, WalkState->ArgCount);
db2bae30SDana Myers            if (ACPI_FAILURE (Status))
db2bae30SDana Myers            {
db2bae30SDana Myers                Status = AcpiPsCompleteOp (WalkState, &Op, Status);
db2bae30SDana Myers                if (ACPI_FAILURE (Status))
db2bae30SDana Myers                {
db2bae30SDana Myers                    return_ACPI_STATUS (Status);
db2bae30SDana Myers                }
db2bae30SDana Myers
db2bae30SDana Myers                continue;
db2bae30SDana Myers            }
db2bae30SDana Myers
db2bae30SDana Myers            Op = NULL;
db2bae30SDana Myers            continue;
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        /*
db2bae30SDana Myers         * All arguments have been processed -- Op is complete,
db2bae30SDana Myers         * prepare for next
db2bae30SDana Myers         */
db2bae30SDana Myers        WalkState->OpInfo = AcpiPsGetOpcodeInfo (Op->Common.AmlOpcode);
db2bae30SDana Myers        if (WalkState->OpInfo->Flags & AML_NAMED)
db2bae30SDana Myers        {
db2bae30SDana Myers            if (Op->Common.AmlOpcode == AML_REGION_OP ||
db2bae30SDana Myers                Op->Common.AmlOpcode == AML_DATA_REGION_OP)
db2bae30SDana Myers            {
db2bae30SDana Myers                /*
db2bae30SDana Myers                 * Skip parsing of control method or opregion body,
db2bae30SDana Myers                 * because we don't have enough info in the first pass
db2bae30SDana Myers                 * to parse them correctly.
db2bae30SDana Myers                 *
db2bae30SDana Myers                 * Completed parsing an OpRegion declaration, we now
db2bae30SDana Myers                 * know the length.
db2bae30SDana Myers                 */
db2bae30SDana Myers                Op->Named.Length = (UINT32) (ParserState->Aml - Op->Named.Data);
db2bae30SDana Myers            }
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        if (WalkState->OpInfo->Flags & AML_CREATE)
db2bae30SDana Myers        {
db2bae30SDana Myers            /*
db2bae30SDana Myers             * Backup to beginning of CreateXXXfield declaration (1 for
db2bae30SDana Myers             * Opcode)
db2bae30SDana Myers             *
db2bae30SDana Myers             * BodyLength is unknown until we parse the body
db2bae30SDana Myers             */
db2bae30SDana Myers            Op->Named.Length = (UINT32) (ParserState->Aml - Op->Named.Data);
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        if (Op->Common.AmlOpcode == AML_BANK_FIELD_OP)
db2bae30SDana Myers        {
db2bae30SDana Myers            /*
db2bae30SDana Myers             * Backup to beginning of BankField declaration
db2bae30SDana Myers             *
db2bae30SDana Myers             * BodyLength is unknown until we parse the body
db2bae30SDana Myers             */
db2bae30SDana Myers            Op->Named.Length = (UINT32) (ParserState->Aml - Op->Named.Data);
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        /* This op complete, notify the dispatcher */
db2bae30SDana Myers
db2bae30SDana Myers        if (WalkState->AscendingCallback != NULL)
db2bae30SDana Myers        {
db2bae30SDana Myers            WalkState->Op = Op;
db2bae30SDana Myers            WalkState->Opcode = Op->Common.AmlOpcode;
db2bae30SDana Myers
db2bae30SDana Myers            Status = WalkState->AscendingCallback (WalkState);
db2bae30SDana Myers            Status = AcpiPsNextParseState (WalkState, Op, Status);
db2bae30SDana Myers            if (Status == AE_CTRL_PENDING)
db2bae30SDana Myers            {
db2bae30SDana Myers                Status = AE_OK;
db2bae30SDana Myers            }
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        Status = AcpiPsCompleteOp (WalkState, &Op, Status);
db2bae30SDana Myers        if (ACPI_FAILURE (Status))
db2bae30SDana Myers        {
db2bae30SDana Myers            return_ACPI_STATUS (Status);
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers    } /* while ParserState->Aml */
db2bae30SDana Myers
db2bae30SDana Myers    Status = AcpiPsCompleteFinalOp (WalkState, Op, Status);
db2bae30SDana Myers    return_ACPI_STATUS (Status);
db2bae30SDana Myers}