acpica/dispatcher/dswexec.c

db2bae30SDana Myers/******************************************************************************
db2bae30SDana Myers *
db2bae30SDana Myers * Module Name: dswexec - Dispatcher method execution callbacks;
db2bae30SDana Myers *                        dispatch to interpreter.
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#include "acpi.h"
aa2aa9a6SDana Myers#include "accommon.h"
db2bae30SDana Myers#include "acparser.h"
db2bae30SDana Myers#include "amlcode.h"
db2bae30SDana Myers#include "acdispat.h"
db2bae30SDana Myers#include "acinterp.h"
db2bae30SDana Myers#include "acnamesp.h"
db2bae30SDana Myers#include "acdebug.h"
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers#define _COMPONENT          ACPI_DISPATCHER
db2bae30SDana Myers        ACPI_MODULE_NAME    ("dswexec")
db2bae30SDana Myers
db2bae30SDana Myers/*
db2bae30SDana Myers * Dispatch table for opcode classes
db2bae30SDana Myers */
db2bae30SDana Myersstatic ACPI_EXECUTE_OP      AcpiGbl_OpTypeDispatch [] =
db2bae30SDana Myers{
db2bae30SDana Myers    AcpiExOpcode_0A_0T_1R,
db2bae30SDana Myers    AcpiExOpcode_1A_0T_0R,
db2bae30SDana Myers    AcpiExOpcode_1A_0T_1R,
db2bae30SDana Myers    AcpiExOpcode_1A_1T_0R,
db2bae30SDana Myers    AcpiExOpcode_1A_1T_1R,
db2bae30SDana Myers    AcpiExOpcode_2A_0T_0R,
db2bae30SDana Myers    AcpiExOpcode_2A_0T_1R,
db2bae30SDana Myers    AcpiExOpcode_2A_1T_1R,
db2bae30SDana Myers    AcpiExOpcode_2A_2T_1R,
db2bae30SDana Myers    AcpiExOpcode_3A_0T_0R,
db2bae30SDana Myers    AcpiExOpcode_3A_1T_1R,
db2bae30SDana Myers    AcpiExOpcode_6A_0T_1R
db2bae30SDana Myers};
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers/*****************************************************************************
db2bae30SDana Myers *
db2bae30SDana Myers * FUNCTION:    AcpiDsGetPredicateValue
db2bae30SDana Myers *
db2bae30SDana Myers * PARAMETERS:  WalkState       - Current state of the parse tree walk
db2bae30SDana Myers *              ResultObj       - if non-zero, pop result from result stack
db2bae30SDana Myers *
db2bae30SDana Myers * RETURN:      Status
db2bae30SDana Myers *
db2bae30SDana Myers * DESCRIPTION: Get the result of a predicate evaluation
db2bae30SDana Myers *
db2bae30SDana Myers ****************************************************************************/
db2bae30SDana Myers
db2bae30SDana MyersACPI_STATUS
db2bae30SDana MyersAcpiDsGetPredicateValue (
db2bae30SDana Myers    ACPI_WALK_STATE         *WalkState,
db2bae30SDana Myers    ACPI_OPERAND_OBJECT     *ResultObj)
db2bae30SDana Myers{
db2bae30SDana Myers    ACPI_STATUS             Status = AE_OK;
db2bae30SDana Myers    ACPI_OPERAND_OBJECT     *ObjDesc;
db2bae30SDana Myers    ACPI_OPERAND_OBJECT     *LocalObjDesc = NULL;
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers    ACPI_FUNCTION_TRACE_PTR (DsGetPredicateValue, WalkState);
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers    WalkState->ControlState->Common.State = 0;
db2bae30SDana Myers
db2bae30SDana Myers    if (ResultObj)
db2bae30SDana Myers    {
db2bae30SDana Myers        Status = AcpiDsResultPop (&ObjDesc, WalkState);
db2bae30SDana Myers        if (ACPI_FAILURE (Status))
db2bae30SDana Myers        {
db2bae30SDana Myers            ACPI_EXCEPTION ((AE_INFO, Status,
db2bae30SDana Myers                "Could not get result from predicate evaluation"));
db2bae30SDana Myers
db2bae30SDana Myers            return_ACPI_STATUS (Status);
db2bae30SDana Myers        }
db2bae30SDana Myers    }
db2bae30SDana Myers    else
db2bae30SDana Myers    {
db2bae30SDana Myers        Status = AcpiDsCreateOperand (WalkState, WalkState->Op, 0);
db2bae30SDana Myers        if (ACPI_FAILURE (Status))
db2bae30SDana Myers        {
db2bae30SDana Myers            return_ACPI_STATUS (Status);
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        Status = AcpiExResolveToValue (&WalkState->Operands [0], WalkState);
db2bae30SDana Myers        if (ACPI_FAILURE (Status))
db2bae30SDana Myers        {
db2bae30SDana Myers            return_ACPI_STATUS (Status);
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        ObjDesc = WalkState->Operands [0];
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers    if (!ObjDesc)
db2bae30SDana Myers    {
db2bae30SDana Myers        ACPI_ERROR ((AE_INFO,
db2bae30SDana Myers            "No predicate ObjDesc=%p State=%p",
db2bae30SDana Myers            ObjDesc, WalkState));
db2bae30SDana Myers
db2bae30SDana Myers        return_ACPI_STATUS (AE_AML_NO_OPERAND);
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers    /*
db2bae30SDana Myers     * Result of predicate evaluation must be an Integer
db2bae30SDana Myers     * object. Implicitly convert the argument if necessary.
db2bae30SDana Myers     */
db2bae30SDana Myers    Status = AcpiExConvertToInteger (ObjDesc, &LocalObjDesc, 16);
db2bae30SDana Myers    if (ACPI_FAILURE (Status))
db2bae30SDana Myers    {
db2bae30SDana Myers        goto Cleanup;
db2bae30SDana Myers    }
db2bae30SDana Myers
aa2aa9a6SDana Myers    if (LocalObjDesc->Common.Type != ACPI_TYPE_INTEGER)
db2bae30SDana Myers    {
db2bae30SDana Myers        ACPI_ERROR ((AE_INFO,
26f3cdf0SGordon Ross            "Bad predicate (not an integer) ObjDesc=%p State=%p Type=0x%X",
aa2aa9a6SDana Myers            ObjDesc, WalkState, ObjDesc->Common.Type));
db2bae30SDana Myers
db2bae30SDana Myers        Status = AE_AML_OPERAND_TYPE;
db2bae30SDana Myers        goto Cleanup;
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers    /* Truncate the predicate to 32-bits if necessary */
db2bae30SDana Myers
*385cc6b4SJerry Jelinek    (void) AcpiExTruncateFor32bitTable (LocalObjDesc);
db2bae30SDana Myers
db2bae30SDana Myers    /*
db2bae30SDana Myers     * Save the result of the predicate evaluation on
db2bae30SDana Myers     * the control stack
db2bae30SDana Myers     */
db2bae30SDana Myers    if (LocalObjDesc->Integer.Value)
db2bae30SDana Myers    {
db2bae30SDana Myers        WalkState->ControlState->Common.Value = TRUE;
db2bae30SDana Myers    }
db2bae30SDana Myers    else
db2bae30SDana Myers    {
db2bae30SDana Myers        /*
db2bae30SDana Myers         * Predicate is FALSE, we will just toss the
db2bae30SDana Myers         * rest of the package
db2bae30SDana Myers         */
db2bae30SDana Myers        WalkState->ControlState->Common.Value = FALSE;
db2bae30SDana Myers        Status = AE_CTRL_FALSE;
db2bae30SDana Myers    }
db2bae30SDana Myers
aa2aa9a6SDana Myers    /* Predicate can be used for an implicit return value */
aa2aa9a6SDana Myers
aa2aa9a6SDana Myers    (void) AcpiDsDoImplicitReturn (LocalObjDesc, WalkState, TRUE);
aa2aa9a6SDana Myers
db2bae30SDana Myers
db2bae30SDana MyersCleanup:
db2bae30SDana Myers
*385cc6b4SJerry Jelinek    ACPI_DEBUG_PRINT ((ACPI_DB_EXEC,
*385cc6b4SJerry Jelinek        "Completed a predicate eval=%X Op=%p\n",
db2bae30SDana Myers        WalkState->ControlState->Common.Value, WalkState->Op));
db2bae30SDana Myers
*385cc6b4SJerry Jelinek#ifdef ACPI_DEBUGGER
db2bae30SDana Myers    /* Break to debugger to display result */
db2bae30SDana Myers
*385cc6b4SJerry Jelinek    AcpiDbDisplayResultObject (LocalObjDesc, WalkState);
*385cc6b4SJerry Jelinek#endif
db2bae30SDana Myers
db2bae30SDana Myers    /*
db2bae30SDana Myers     * Delete the predicate result object (we know that
db2bae30SDana Myers     * we don't need it anymore)
db2bae30SDana Myers     */
db2bae30SDana Myers    if (LocalObjDesc != ObjDesc)
db2bae30SDana Myers    {
db2bae30SDana Myers        AcpiUtRemoveReference (LocalObjDesc);
db2bae30SDana Myers    }
db2bae30SDana Myers    AcpiUtRemoveReference (ObjDesc);
db2bae30SDana Myers
db2bae30SDana Myers    WalkState->ControlState->Common.State = ACPI_CONTROL_NORMAL;
db2bae30SDana Myers    return_ACPI_STATUS (Status);
db2bae30SDana Myers}
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers/*****************************************************************************
db2bae30SDana Myers *
db2bae30SDana Myers * FUNCTION:    AcpiDsExecBeginOp
db2bae30SDana Myers *
db2bae30SDana Myers * PARAMETERS:  WalkState       - Current state of the parse tree walk
db2bae30SDana Myers *              OutOp           - Where to return op if a new one is created
db2bae30SDana Myers *
db2bae30SDana Myers * RETURN:      Status
db2bae30SDana Myers *
db2bae30SDana Myers * DESCRIPTION: Descending callback used during the execution of control
db2bae30SDana Myers *              methods. This is where most operators and operands are
db2bae30SDana Myers *              dispatched to the interpreter.
db2bae30SDana Myers *
db2bae30SDana Myers ****************************************************************************/
db2bae30SDana Myers
db2bae30SDana MyersACPI_STATUS
db2bae30SDana MyersAcpiDsExecBeginOp (
db2bae30SDana Myers    ACPI_WALK_STATE         *WalkState,
db2bae30SDana Myers    ACPI_PARSE_OBJECT       **OutOp)
db2bae30SDana Myers{
db2bae30SDana Myers    ACPI_PARSE_OBJECT       *Op;
db2bae30SDana Myers    ACPI_STATUS             Status = AE_OK;
db2bae30SDana Myers    UINT32                  OpcodeClass;
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers    ACPI_FUNCTION_TRACE_PTR (DsExecBeginOp, WalkState);
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers    Op = WalkState->Op;
db2bae30SDana Myers    if (!Op)
db2bae30SDana Myers    {
db2bae30SDana Myers        Status = AcpiDsLoad2BeginOp (WalkState, OutOp);
db2bae30SDana Myers        if (ACPI_FAILURE (Status))
db2bae30SDana Myers        {
db2bae30SDana Myers            goto ErrorExit;
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        Op = *OutOp;
db2bae30SDana Myers        WalkState->Op = Op;
db2bae30SDana Myers        WalkState->Opcode = Op->Common.AmlOpcode;
db2bae30SDana Myers        WalkState->OpInfo = AcpiPsGetOpcodeInfo (Op->Common.AmlOpcode);
db2bae30SDana Myers
db2bae30SDana Myers        if (AcpiNsOpensScope (WalkState->OpInfo->ObjectType))
db2bae30SDana Myers        {
db2bae30SDana Myers            ACPI_DEBUG_PRINT ((ACPI_DB_DISPATCH,
db2bae30SDana Myers                "(%s) Popping scope for Op %p\n",
db2bae30SDana Myers                AcpiUtGetTypeName (WalkState->OpInfo->ObjectType), Op));
db2bae30SDana Myers
db2bae30SDana Myers            Status = AcpiDsScopeStackPop (WalkState);
db2bae30SDana Myers            if (ACPI_FAILURE (Status))
db2bae30SDana Myers            {
db2bae30SDana Myers                goto ErrorExit;
db2bae30SDana Myers            }
db2bae30SDana Myers        }
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers    if (Op == WalkState->Origin)
db2bae30SDana Myers    {
db2bae30SDana Myers        if (OutOp)
db2bae30SDana Myers        {
db2bae30SDana Myers            *OutOp = Op;
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        return_ACPI_STATUS (AE_OK);
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers    /*
db2bae30SDana Myers     * If the previous opcode was a conditional, this opcode
db2bae30SDana Myers     * must be the beginning of the associated predicate.
db2bae30SDana Myers     * Save this knowledge in the current scope descriptor
db2bae30SDana Myers     */
db2bae30SDana Myers    if ((WalkState->ControlState) &&
db2bae30SDana Myers        (WalkState->ControlState->Common.State ==
db2bae30SDana Myers            ACPI_CONTROL_CONDITIONAL_EXECUTING))
db2bae30SDana Myers    {
*385cc6b4SJerry Jelinek        ACPI_DEBUG_PRINT ((ACPI_DB_EXEC,
*385cc6b4SJerry Jelinek            "Exec predicate Op=%p State=%p\n",
db2bae30SDana Myers            Op, WalkState));
db2bae30SDana Myers
*385cc6b4SJerry Jelinek        WalkState->ControlState->Common.State =
*385cc6b4SJerry Jelinek            ACPI_CONTROL_PREDICATE_EXECUTING;
db2bae30SDana Myers
db2bae30SDana Myers        /* Save start of predicate */
db2bae30SDana Myers
db2bae30SDana Myers        WalkState->ControlState->Control.PredicateOp = Op;
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers    OpcodeClass = WalkState->OpInfo->Class;
db2bae30SDana Myers
db2bae30SDana Myers    /* We want to send namepaths to the load code */
db2bae30SDana Myers
db2bae30SDana Myers    if (Op->Common.AmlOpcode == AML_INT_NAMEPATH_OP)
db2bae30SDana Myers    {
db2bae30SDana Myers        OpcodeClass = AML_CLASS_NAMED_OBJECT;
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers    /*
db2bae30SDana Myers     * Handle the opcode based upon the opcode type
db2bae30SDana Myers     */
db2bae30SDana Myers    switch (OpcodeClass)
db2bae30SDana Myers    {
db2bae30SDana Myers    case AML_CLASS_CONTROL:
db2bae30SDana Myers
db2bae30SDana Myers        Status = AcpiDsExecBeginControlOp (WalkState, Op);
db2bae30SDana Myers        break;
db2bae30SDana Myers
db2bae30SDana Myers    case AML_CLASS_NAMED_OBJECT:
db2bae30SDana Myers
db2bae30SDana Myers        if (WalkState->WalkType & ACPI_WALK_METHOD)
db2bae30SDana Myers        {
db2bae30SDana Myers            /*
db2bae30SDana Myers             * Found a named object declaration during method execution;
db2bae30SDana Myers             * we must enter this object into the namespace. The created
db2bae30SDana Myers             * object is temporary and will be deleted upon completion of
db2bae30SDana Myers             * the execution of this method.
26f3cdf0SGordon Ross             *
26f3cdf0SGordon Ross             * Note 10/2010: Except for the Scope() op. This opcode does
26f3cdf0SGordon Ross             * not actually create a new object, it refers to an existing
26f3cdf0SGordon Ross             * object. However, for Scope(), we want to indeed open a
26f3cdf0SGordon Ross             * new scope.
db2bae30SDana Myers             */
26f3cdf0SGordon Ross            if (Op->Common.AmlOpcode != AML_SCOPE_OP)
26f3cdf0SGordon Ross            {
db2bae30SDana Myers                Status = AcpiDsLoad2BeginOp (WalkState, NULL);
db2bae30SDana Myers            }
26f3cdf0SGordon Ross            else
26f3cdf0SGordon Ross            {
*385cc6b4SJerry Jelinek                Status = AcpiDsScopeStackPush (
*385cc6b4SJerry Jelinek                    Op->Named.Node, Op->Named.Node->Type, WalkState);
26f3cdf0SGordon Ross                if (ACPI_FAILURE (Status))
26f3cdf0SGordon Ross                {
26f3cdf0SGordon Ross                    return_ACPI_STATUS (Status);
26f3cdf0SGordon Ross                }
26f3cdf0SGordon Ross            }
26f3cdf0SGordon Ross        }
db2bae30SDana Myers        break;
db2bae30SDana Myers
db2bae30SDana Myers    case AML_CLASS_EXECUTE:
db2bae30SDana Myers    case AML_CLASS_CREATE:
db2bae30SDana Myers
db2bae30SDana Myers        break;
db2bae30SDana Myers
db2bae30SDana Myers    default:
*385cc6b4SJerry Jelinek
db2bae30SDana Myers        break;
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers    /* Nothing to do here during method execution */
db2bae30SDana Myers
db2bae30SDana Myers    return_ACPI_STATUS (Status);
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana MyersErrorExit:
db2bae30SDana Myers    Status = AcpiDsMethodError (Status, WalkState);
db2bae30SDana Myers    return_ACPI_STATUS (Status);
db2bae30SDana Myers}
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers/*****************************************************************************
db2bae30SDana Myers *
db2bae30SDana Myers * FUNCTION:    AcpiDsExecEndOp
db2bae30SDana Myers *
db2bae30SDana Myers * PARAMETERS:  WalkState       - Current state of the parse tree walk
db2bae30SDana Myers *
db2bae30SDana Myers * RETURN:      Status
db2bae30SDana Myers *
db2bae30SDana Myers * DESCRIPTION: Ascending callback used during the execution of control
db2bae30SDana Myers *              methods. The only thing we really need to do here is to
db2bae30SDana Myers *              notice the beginning of IF, ELSE, and WHILE blocks.
db2bae30SDana Myers *
db2bae30SDana Myers ****************************************************************************/
db2bae30SDana Myers
db2bae30SDana MyersACPI_STATUS
db2bae30SDana MyersAcpiDsExecEndOp (
db2bae30SDana Myers    ACPI_WALK_STATE         *WalkState)
db2bae30SDana Myers{
db2bae30SDana Myers    ACPI_PARSE_OBJECT       *Op;
db2bae30SDana Myers    ACPI_STATUS             Status = AE_OK;
db2bae30SDana Myers    UINT32                  OpType;
db2bae30SDana Myers    UINT32                  OpClass;
db2bae30SDana Myers    ACPI_PARSE_OBJECT       *NextOp;
db2bae30SDana Myers    ACPI_PARSE_OBJECT       *FirstArg;
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers    ACPI_FUNCTION_TRACE_PTR (DsExecEndOp, WalkState);
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers    Op = WalkState->Op;
db2bae30SDana Myers    OpType = WalkState->OpInfo->Type;
db2bae30SDana Myers    OpClass = WalkState->OpInfo->Class;
db2bae30SDana Myers
db2bae30SDana Myers    if (OpClass == AML_CLASS_UNKNOWN)
db2bae30SDana Myers    {
26f3cdf0SGordon Ross        ACPI_ERROR ((AE_INFO, "Unknown opcode 0x%X", Op->Common.AmlOpcode));
db2bae30SDana Myers        return_ACPI_STATUS (AE_NOT_IMPLEMENTED);
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers    FirstArg = Op->Common.Value.Arg;
db2bae30SDana Myers
db2bae30SDana Myers    /* Init the walk state */
db2bae30SDana Myers
db2bae30SDana Myers    WalkState->NumOperands = 0;
db2bae30SDana Myers    WalkState->OperandIndex = 0;
db2bae30SDana Myers    WalkState->ReturnDesc = NULL;
db2bae30SDana Myers    WalkState->ResultObj = NULL;
db2bae30SDana Myers
*385cc6b4SJerry Jelinek#ifdef ACPI_DEBUGGER
db2bae30SDana Myers    /* Call debugger for single step support (DEBUG build only) */
db2bae30SDana Myers
*385cc6b4SJerry Jelinek    Status = AcpiDbSingleStep (WalkState, Op, OpClass);
*385cc6b4SJerry Jelinek    if (ACPI_FAILURE (Status))
*385cc6b4SJerry Jelinek    {
*385cc6b4SJerry Jelinek        return_ACPI_STATUS (Status);
*385cc6b4SJerry Jelinek    }
*385cc6b4SJerry Jelinek#endif
db2bae30SDana Myers
db2bae30SDana Myers    /* Decode the Opcode Class */
db2bae30SDana Myers
db2bae30SDana Myers    switch (OpClass)
db2bae30SDana Myers    {
db2bae30SDana Myers    case AML_CLASS_ARGUMENT:    /* Constants, literals, etc. */
db2bae30SDana Myers
db2bae30SDana Myers        if (WalkState->Opcode == AML_INT_NAMEPATH_OP)
db2bae30SDana Myers        {
db2bae30SDana Myers            Status = AcpiDsEvaluateNamePath (WalkState);
db2bae30SDana Myers            if (ACPI_FAILURE (Status))
db2bae30SDana Myers            {
db2bae30SDana Myers                goto Cleanup;
db2bae30SDana Myers            }
db2bae30SDana Myers        }
db2bae30SDana Myers        break;
db2bae30SDana Myers
db2bae30SDana Myers    case AML_CLASS_EXECUTE:     /* Most operators with arguments */
db2bae30SDana Myers
db2bae30SDana Myers        /* Build resolved operand stack */
db2bae30SDana Myers
db2bae30SDana Myers        Status = AcpiDsCreateOperands (WalkState, FirstArg);
db2bae30SDana Myers        if (ACPI_FAILURE (Status))
db2bae30SDana Myers        {
db2bae30SDana Myers            goto Cleanup;
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        /*
db2bae30SDana Myers         * All opcodes require operand resolution, with the only exceptions
db2bae30SDana Myers         * being the ObjectType and SizeOf operators.
db2bae30SDana Myers         */
db2bae30SDana Myers        if (!(WalkState->OpInfo->Flags & AML_NO_OPERAND_RESOLVE))
db2bae30SDana Myers        {
db2bae30SDana Myers            /* Resolve all operands */
db2bae30SDana Myers
db2bae30SDana Myers            Status = AcpiExResolveOperands (WalkState->Opcode,
db2bae30SDana Myers                &(WalkState->Operands [WalkState->NumOperands -1]),
db2bae30SDana Myers                WalkState);
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        if (ACPI_SUCCESS (Status))
db2bae30SDana Myers        {
db2bae30SDana Myers            /*
db2bae30SDana Myers             * Dispatch the request to the appropriate interpreter handler
db2bae30SDana Myers             * routine. There is one routine per opcode "type" based upon the
db2bae30SDana Myers             * number of opcode arguments and return type.
db2bae30SDana Myers             */
db2bae30SDana Myers            Status = AcpiGbl_OpTypeDispatch[OpType] (WalkState);
db2bae30SDana Myers        }
db2bae30SDana Myers        else
db2bae30SDana Myers        {
db2bae30SDana Myers            /*
db2bae30SDana Myers             * Treat constructs of the form "Store(LocalX,LocalX)" as noops when the
db2bae30SDana Myers             * Local is uninitialized.
db2bae30SDana Myers             */
db2bae30SDana Myers            if  ((Status == AE_AML_UNINITIALIZED_LOCAL) &&
db2bae30SDana Myers                (WalkState->Opcode == AML_STORE_OP) &&
db2bae30SDana Myers                (WalkState->Operands[0]->Common.Type == ACPI_TYPE_LOCAL_REFERENCE) &&
db2bae30SDana Myers                (WalkState->Operands[1]->Common.Type == ACPI_TYPE_LOCAL_REFERENCE) &&
db2bae30SDana Myers                (WalkState->Operands[0]->Reference.Class ==
db2bae30SDana Myers                 WalkState->Operands[1]->Reference.Class) &&
db2bae30SDana Myers                (WalkState->Operands[0]->Reference.Value ==
db2bae30SDana Myers                 WalkState->Operands[1]->Reference.Value))
db2bae30SDana Myers            {
db2bae30SDana Myers                Status = AE_OK;
db2bae30SDana Myers            }
db2bae30SDana Myers            else
db2bae30SDana Myers            {
db2bae30SDana Myers                ACPI_EXCEPTION ((AE_INFO, Status,
db2bae30SDana Myers                    "While resolving operands for [%s]",
db2bae30SDana Myers                    AcpiPsGetOpcodeName (WalkState->Opcode)));
db2bae30SDana Myers            }
db2bae30SDana Myers        }
db2bae30SDana Myers
db2bae30SDana Myers        /* Always delete the argument objects and clear the operand stack */
db2bae30SDana Myers
db2bae30SDana Myers        AcpiDsClearOperands (WalkState);
db2bae30SDana Myers
db2bae30SDana Myers        /*
db2bae30SDana Myers         * If a result object was returned from above, push it on the
db2bae30SDana Myers         * current result stack
db2bae30SDana Myers         */
db2bae30SDana Myers        if (ACPI_SUCCESS (Status) &&
db2bae30SDana Myers            WalkState->ResultObj)
db2bae30SDana Myers        {
db2bae30SDana Myers            Status = AcpiDsResultPush (WalkState->ResultObj, WalkState);
db2bae30SDana Myers        }
db2bae30SDana Myers        break;
db2bae30SDana Myers
db2bae30SDana Myers    default:
db2bae30SDana Myers
db2bae30SDana Myers        switch (OpType)
db2bae30SDana Myers        {
db2bae30SDana Myers        case AML_TYPE_CONTROL:    /* Type 1 opcode, IF/ELSE/WHILE/NOOP */
db2bae30SDana Myers
db2bae30SDana Myers            /* 1 Operand, 0 ExternalResult, 0 InternalResult */
db2bae30SDana Myers
db2bae30SDana Myers            Status = AcpiDsExecEndControlOp (WalkState, Op);
db2bae30SDana Myers
db2bae30SDana Myers            break;
db2bae30SDana Myers
db2bae30SDana Myers        case AML_TYPE_METHOD_CALL:
db2bae30SDana Myers            /*
db2bae30SDana Myers             * If the method is referenced from within a package
db2bae30SDana Myers             * declaration, it is not a invocation of the method, just
db2bae30SDana Myers             * a reference to it.
db2bae30SDana Myers             */
db2bae30SDana Myers            if ((Op->Asl.Parent) &&
db2bae30SDana Myers               ((Op->Asl.Parent->Asl.AmlOpcode == AML_PACKAGE_OP) ||
db2bae30SDana Myers                (Op->Asl.Parent->Asl.AmlOpcode == AML_VAR_PACKAGE_OP)))
db2bae30SDana Myers            {
db2bae30SDana Myers                ACPI_DEBUG_PRINT ((ACPI_DB_DISPATCH,
db2bae30SDana Myers                    "Method Reference in a Package, Op=%p\n", Op));
db2bae30SDana Myers
*385cc6b4SJerry Jelinek                Op->Common.Node = (ACPI_NAMESPACE_NODE *)
*385cc6b4SJerry Jelinek                    Op->Asl.Value.Arg->Asl.Node;
db2bae30SDana Myers                AcpiUtAddReference (Op->Asl.Value.Arg->Asl.Node->Object);
db2bae30SDana Myers                return_ACPI_STATUS (AE_OK);
db2bae30SDana Myers            }
db2bae30SDana Myers
*385cc6b4SJerry Jelinek            ACPI_DEBUG_PRINT ((ACPI_DB_DISPATCH,
*385cc6b4SJerry Jelinek                "Method invocation, Op=%p\n", Op));
db2bae30SDana Myers
db2bae30SDana Myers            /*
db2bae30SDana Myers             * (AML_METHODCALL) Op->Asl.Value.Arg->Asl.Node contains
db2bae30SDana Myers             * the method Node pointer
db2bae30SDana Myers             */
db2bae30SDana Myers            /* NextOp points to the op that holds the method name */
db2bae30SDana Myers
db2bae30SDana Myers            NextOp = FirstArg;
db2bae30SDana Myers
db2bae30SDana Myers            /* NextOp points to first argument op */
db2bae30SDana Myers
db2bae30SDana Myers            NextOp = NextOp->Common.Next;
db2bae30SDana Myers
db2bae30SDana Myers            /*
db2bae30SDana Myers             * Get the method's arguments and put them on the operand stack
db2bae30SDana Myers             */
db2bae30SDana Myers            Status = AcpiDsCreateOperands (WalkState, NextOp);
db2bae30SDana Myers            if (ACPI_FAILURE (Status))
db2bae30SDana Myers            {
db2bae30SDana Myers                break;
db2bae30SDana Myers            }
db2bae30SDana Myers
db2bae30SDana Myers            /*
db2bae30SDana Myers             * Since the operands will be passed to another control method,
db2bae30SDana Myers             * we must resolve all local references here (Local variables,
db2bae30SDana Myers             * arguments to *this* method, etc.)
db2bae30SDana Myers             */
db2bae30SDana Myers            Status = AcpiDsResolveOperands (WalkState);
db2bae30SDana Myers            if (ACPI_FAILURE (Status))
db2bae30SDana Myers            {
db2bae30SDana Myers                /* On error, clear all resolved operands */
db2bae30SDana Myers
db2bae30SDana Myers                AcpiDsClearOperands (WalkState);
db2bae30SDana Myers                break;
db2bae30SDana Myers            }
db2bae30SDana Myers
db2bae30SDana Myers            /*
db2bae30SDana Myers             * Tell the walk loop to preempt this running method and
db2bae30SDana Myers             * execute the new method
db2bae30SDana Myers             */
db2bae30SDana Myers            Status = AE_CTRL_TRANSFER;
db2bae30SDana Myers
db2bae30SDana Myers            /*
db2bae30SDana Myers             * Return now; we don't want to disturb anything,
db2bae30SDana Myers             * especially the operand count!
db2bae30SDana Myers             */
db2bae30SDana Myers            return_ACPI_STATUS (Status);
db2bae30SDana Myers
db2bae30SDana Myers        case AML_TYPE_CREATE_FIELD:
db2bae30SDana Myers
db2bae30SDana Myers            ACPI_DEBUG_PRINT ((ACPI_DB_EXEC,
db2bae30SDana Myers                "Executing CreateField Buffer/Index Op=%p\n", Op));
db2bae30SDana Myers
db2bae30SDana Myers            Status = AcpiDsLoad2EndOp (WalkState);
db2bae30SDana Myers            if (ACPI_FAILURE (Status))
db2bae30SDana Myers            {
db2bae30SDana Myers                break;
db2bae30SDana Myers            }
db2bae30SDana Myers
db2bae30SDana Myers            Status = AcpiDsEvalBufferFieldOperands (WalkState, Op);
db2bae30SDana Myers            break;
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana Myers        case AML_TYPE_CREATE_OBJECT:
db2bae30SDana Myers
db2bae30SDana Myers            ACPI_DEBUG_PRINT ((ACPI_DB_EXEC,
db2bae30SDana Myers                "Executing CreateObject (Buffer/Package) Op=%p\n", Op));
db2bae30SDana Myers
db2bae30SDana Myers            switch (Op->Common.Parent->Common.AmlOpcode)
db2bae30SDana Myers            {
db2bae30SDana Myers            case AML_NAME_OP:
db2bae30SDana Myers                /*
db2bae30SDana Myers                 * Put the Node on the object stack (Contains the ACPI Name
db2bae30SDana Myers                 * of this object)
db2bae30SDana Myers                 */
*385cc6b4SJerry Jelinek                WalkState->Operands[0] = (void *)
*385cc6b4SJerry Jelinek                    Op->Common.Parent->Common.Node;
db2bae30SDana Myers                WalkState->NumOperands = 1;
db2bae30SDana Myers
db2bae30SDana Myers                Status = AcpiDsCreateNode (WalkState,
*385cc6b4SJerry Jelinek                    Op->Common.Parent->Common.Node, Op->Common.Parent);
db2bae30SDana Myers                if (ACPI_FAILURE (Status))
db2bae30SDana Myers                {
db2bae30SDana Myers                    break;
db2bae30SDana Myers                }
db2bae30SDana Myers
db2bae30SDana Myers                /* Fall through */
db2bae30SDana Myers                /*lint -fallthrough */
db2bae30SDana Myers
db2bae30SDana Myers            case AML_INT_EVAL_SUBTREE_OP:
db2bae30SDana Myers
db2bae30SDana Myers                Status = AcpiDsEvalDataObjectOperands (WalkState, Op,
db2bae30SDana Myers                    AcpiNsGetAttachedObject (Op->Common.Parent->Common.Node));
db2bae30SDana Myers                break;
db2bae30SDana Myers
db2bae30SDana Myers            default:
db2bae30SDana Myers
db2bae30SDana Myers                Status = AcpiDsEvalDataObjectOperands (WalkState, Op, NULL);
db2bae30SDana Myers                break;
db2bae30SDana Myers            }
db2bae30SDana Myers
db2bae30SDana Myers            /*
db2bae30SDana Myers             * If a result object was returned from above, push it on the
db2bae30SDana Myers             * current result stack
db2bae30SDana Myers             */
db2bae30SDana Myers            if (WalkState->ResultObj)
db2bae30SDana Myers            {
db2bae30SDana Myers                Status = AcpiDsResultPush (WalkState->ResultObj, WalkState);
db2bae30SDana Myers            }
db2bae30SDana Myers            break;
db2bae30SDana Myers
db2bae30SDana Myers        case AML_TYPE_NAMED_FIELD:
db2bae30SDana Myers        case AML_TYPE_NAMED_COMPLEX:
db2bae30SDana Myers        case AML_TYPE_NAMED_SIMPLE:
db2bae30SDana Myers        case AML_TYPE_NAMED_NO_OBJ:
db2bae30SDana Myers
db2bae30SDana Myers            Status = AcpiDsLoad2EndOp (WalkState);
db2bae30SDana Myers            if (ACPI_FAILURE (Status))
db2bae30SDana Myers            {
db2bae30SDana Myers                break;
db2bae30SDana Myers            }
db2bae30SDana Myers
db2bae30SDana Myers            if (Op->Common.AmlOpcode == AML_REGION_OP)
db2bae30SDana Myers            {
db2bae30SDana Myers                ACPI_DEBUG_PRINT ((ACPI_DB_EXEC,
db2bae30SDana Myers                    "Executing OpRegion Address/Length Op=%p\n", Op));
db2bae30SDana Myers
db2bae30SDana Myers                Status = AcpiDsEvalRegionOperands (WalkState, Op);
db2bae30SDana Myers                if (ACPI_FAILURE (Status))
db2bae30SDana Myers                {
db2bae30SDana Myers                    break;
db2bae30SDana Myers                }
db2bae30SDana Myers            }
db2bae30SDana Myers            else if (Op->Common.AmlOpcode == AML_DATA_REGION_OP)
db2bae30SDana Myers            {
db2bae30SDana Myers                ACPI_DEBUG_PRINT ((ACPI_DB_EXEC,
db2bae30SDana Myers                    "Executing DataTableRegion Strings Op=%p\n", Op));
db2bae30SDana Myers
db2bae30SDana Myers                Status = AcpiDsEvalTableRegionOperands (WalkState, Op);
db2bae30SDana Myers                if (ACPI_FAILURE (Status))
db2bae30SDana Myers                {
db2bae30SDana Myers                    break;
db2bae30SDana Myers                }
db2bae30SDana Myers            }
db2bae30SDana Myers            else if (Op->Common.AmlOpcode == AML_BANK_FIELD_OP)
db2bae30SDana Myers            {
db2bae30SDana Myers                ACPI_DEBUG_PRINT ((ACPI_DB_EXEC,
db2bae30SDana Myers                    "Executing BankField Op=%p\n", Op));
db2bae30SDana Myers
db2bae30SDana Myers                Status = AcpiDsEvalBankFieldOperands (WalkState, Op);
db2bae30SDana Myers                if (ACPI_FAILURE (Status))
db2bae30SDana Myers                {
db2bae30SDana Myers                    break;
db2bae30SDana Myers                }
db2bae30SDana Myers            }
db2bae30SDana Myers            break;
db2bae30SDana Myers
db2bae30SDana Myers        case AML_TYPE_UNDEFINED:
db2bae30SDana Myers
db2bae30SDana Myers            ACPI_ERROR ((AE_INFO,
db2bae30SDana Myers                "Undefined opcode type Op=%p", Op));
db2bae30SDana Myers            return_ACPI_STATUS (AE_NOT_IMPLEMENTED);
db2bae30SDana Myers
db2bae30SDana Myers        case AML_TYPE_BOGUS:
db2bae30SDana Myers
db2bae30SDana Myers            ACPI_DEBUG_PRINT ((ACPI_DB_DISPATCH,
db2bae30SDana Myers                "Internal opcode=%X type Op=%p\n",
db2bae30SDana Myers                WalkState->Opcode, Op));
db2bae30SDana Myers            break;
db2bae30SDana Myers
db2bae30SDana Myers        default:
db2bae30SDana Myers
db2bae30SDana Myers            ACPI_ERROR ((AE_INFO,
*385cc6b4SJerry Jelinek                "Unimplemented opcode, class=0x%X "
*385cc6b4SJerry Jelinek                "type=0x%X Opcode=0x%X Op=%p",
db2bae30SDana Myers                OpClass, OpType, Op->Common.AmlOpcode, Op));
db2bae30SDana Myers
db2bae30SDana Myers            Status = AE_NOT_IMPLEMENTED;
db2bae30SDana Myers            break;
db2bae30SDana Myers        }
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers    /*
db2bae30SDana Myers     * ACPI 2.0 support for 64-bit integers: Truncate numeric
db2bae30SDana Myers     * result value if we are executing from a 32-bit ACPI table
db2bae30SDana Myers     */
*385cc6b4SJerry Jelinek    (void) AcpiExTruncateFor32bitTable (WalkState->ResultObj);
db2bae30SDana Myers
db2bae30SDana Myers    /*
db2bae30SDana Myers     * Check if we just completed the evaluation of a
db2bae30SDana Myers     * conditional predicate
db2bae30SDana Myers     */
db2bae30SDana Myers    if ((ACPI_SUCCESS (Status)) &&
db2bae30SDana Myers        (WalkState->ControlState) &&
db2bae30SDana Myers        (WalkState->ControlState->Common.State ==
db2bae30SDana Myers            ACPI_CONTROL_PREDICATE_EXECUTING) &&
db2bae30SDana Myers        (WalkState->ControlState->Control.PredicateOp == Op))
db2bae30SDana Myers    {
db2bae30SDana Myers        Status = AcpiDsGetPredicateValue (WalkState, WalkState->ResultObj);
db2bae30SDana Myers        WalkState->ResultObj = NULL;
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers
db2bae30SDana MyersCleanup:
db2bae30SDana Myers
db2bae30SDana Myers    if (WalkState->ResultObj)
db2bae30SDana Myers    {
*385cc6b4SJerry Jelinek#ifdef ACPI_DEBUGGER
db2bae30SDana Myers        /* Break to debugger to display result */
db2bae30SDana Myers
*385cc6b4SJerry Jelinek        AcpiDbDisplayResultObject (WalkState->ResultObj,WalkState);
*385cc6b4SJerry Jelinek#endif
db2bae30SDana Myers
db2bae30SDana Myers        /*
db2bae30SDana Myers         * Delete the result op if and only if:
db2bae30SDana Myers         * Parent will not use the result -- such as any
db2bae30SDana Myers         * non-nested type2 op in a method (parent will be method)
db2bae30SDana Myers         */
db2bae30SDana Myers        AcpiDsDeleteResultIfNotUsed (Op, WalkState->ResultObj, WalkState);
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers#ifdef _UNDER_DEVELOPMENT
db2bae30SDana Myers
db2bae30SDana Myers    if (WalkState->ParserState.Aml == WalkState->ParserState.AmlEnd)
db2bae30SDana Myers    {
db2bae30SDana Myers        AcpiDbMethodEnd (WalkState);
db2bae30SDana Myers    }
db2bae30SDana Myers#endif
db2bae30SDana Myers
db2bae30SDana Myers    /* Invoke exception handler on error */
db2bae30SDana Myers
db2bae30SDana Myers    if (ACPI_FAILURE (Status))
db2bae30SDana Myers    {
db2bae30SDana Myers        Status = AcpiDsMethodError (Status, WalkState);
db2bae30SDana Myers    }
db2bae30SDana Myers
db2bae30SDana Myers    /* Always clear the object stack */
db2bae30SDana Myers
db2bae30SDana Myers    WalkState->NumOperands = 0;
db2bae30SDana Myers    return_ACPI_STATUS (Status);
db2bae30SDana Myers}