2018-03-15 06:13:07 +07:00
|
|
|
// SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0
|
2005-04-17 05:20:36 +07:00
|
|
|
/******************************************************************************
|
|
|
|
*
|
|
|
|
* Module Name: psparse - Parser top level AML parse routines
|
|
|
|
*
|
2020-01-11 02:31:49 +07:00
|
|
|
* Copyright (C) 2000 - 2020, Intel Corp.
|
2005-04-17 05:20:36 +07:00
|
|
|
*
|
2018-03-15 06:13:07 +07:00
|
|
|
*****************************************************************************/
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Parse the AML and build an operation tree as most interpreters,
|
2012-10-31 09:26:55 +07:00
|
|
|
* like Perl, do. Parsing is done by hand rather than with a YACC
|
2005-04-17 05:20:36 +07:00
|
|
|
* generated parser to tightly constrain stack and dynamic memory
|
2012-10-31 09:26:55 +07:00
|
|
|
* usage. At the same time, parsing is kept flexible and the code
|
2005-04-17 05:20:36 +07:00
|
|
|
* fairly compact by parsing based on a list of AML opcode
|
|
|
|
* templates in aml_op_info[]
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <acpi/acpi.h>
|
2009-01-09 12:30:03 +07:00
|
|
|
#include "accommon.h"
|
|
|
|
#include "acparser.h"
|
|
|
|
#include "acdispat.h"
|
|
|
|
#include "amlcode.h"
|
|
|
|
#include "acinterp.h"
|
2017-06-05 15:42:23 +07:00
|
|
|
#include "acnamesp.h"
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
#define _COMPONENT ACPI_PARSER
|
2005-08-05 11:44:28 +07:00
|
|
|
ACPI_MODULE_NAME("psparse")
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
/*******************************************************************************
|
|
|
|
*
|
|
|
|
* FUNCTION: acpi_ps_get_opcode_size
|
|
|
|
*
|
2012-07-12 08:40:10 +07:00
|
|
|
* PARAMETERS: opcode - An AML opcode
|
2005-04-17 05:20:36 +07:00
|
|
|
*
|
|
|
|
* RETURN: Size of the opcode, in bytes (1 or 2)
|
|
|
|
*
|
|
|
|
* DESCRIPTION: Get the size of the current opcode.
|
|
|
|
*
|
|
|
|
******************************************************************************/
|
2005-08-05 11:44:28 +07:00
|
|
|
u32 acpi_ps_get_opcode_size(u32 opcode)
|
2005-04-17 05:20:36 +07:00
|
|
|
{
|
|
|
|
|
|
|
|
/* Extended (2-byte) opcode if > 255 */
|
|
|
|
|
|
|
|
if (opcode > 0x00FF) {
|
|
|
|
return (2);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Otherwise, just a single byte opcode */
|
|
|
|
|
|
|
|
return (1);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*******************************************************************************
|
|
|
|
*
|
|
|
|
* FUNCTION: acpi_ps_peek_opcode
|
|
|
|
*
|
|
|
|
* PARAMETERS: parser_state - A parser state object
|
|
|
|
*
|
2005-04-19 09:49:35 +07:00
|
|
|
* RETURN: Next AML opcode
|
2005-04-17 05:20:36 +07:00
|
|
|
*
|
|
|
|
* DESCRIPTION: Get next AML opcode (without incrementing AML pointer)
|
|
|
|
*
|
|
|
|
******************************************************************************/
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
u16 acpi_ps_peek_opcode(struct acpi_parse_state * parser_state)
|
2005-04-17 05:20:36 +07:00
|
|
|
{
|
2005-08-05 11:44:28 +07:00
|
|
|
u8 *aml;
|
|
|
|
u16 opcode;
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
aml = parser_state->aml;
|
2005-08-05 11:44:28 +07:00
|
|
|
opcode = (u16) ACPI_GET8(aml);
|
2005-04-17 05:20:36 +07:00
|
|
|
|
2017-04-26 15:18:40 +07:00
|
|
|
if (opcode == AML_EXTENDED_PREFIX) {
|
2006-10-02 11:00:00 +07:00
|
|
|
|
ACPICA 20050617-0624 from Bob Moore <robert.moore@intel.com>
ACPICA 20050617:
Moved the object cache operations into the OS interface
layer (OSL) to allow the host OS to handle these operations
if desired (for example, the Linux OSL will invoke the
slab allocator). This support is optional; the compile
time define ACPI_USE_LOCAL_CACHE may be used to utilize
the original cache code in the ACPI CA core. The new OSL
interfaces are shown below. See utalloc.c for an example
implementation, and acpiosxf.h for the exact interface
definitions. Thanks to Alexey Starikovskiy.
acpi_os_create_cache
acpi_os_delete_cache
acpi_os_purge_cache
acpi_os_acquire_object
acpi_os_release_object
Modified the interfaces to acpi_os_acquire_lock and
acpi_os_release_lock to return and restore a flags
parameter. This fits better with many OS lock models.
Note: the current execution state (interrupt handler
or not) is no longer passed to these interfaces. If
necessary, the OSL must determine this state by itself, a
simple and fast operation. Thanks to Alexey Starikovskiy.
Fixed a problem in the ACPI table handling where a valid
XSDT was assumed present if the revision of the RSDP
was 2 or greater. According to the ACPI specification,
the XSDT is optional in all cases, and the table manager
therefore now checks for both an RSDP >=2 and a valid
XSDT pointer. Otherwise, the RSDT pointer is used.
Some ACPI 2.0 compliant BIOSs contain only the RSDT.
Fixed an interpreter problem with the Mid() operator in the
case of an input string where the resulting output string
is of zero length. It now correctly returns a valid,
null terminated string object instead of a string object
with a null pointer.
Fixed a problem with the control method argument handling
to allow a store to an Arg object that already contains an
object of type Device. The Device object is now correctly
overwritten. Previously, an error was returned.
ACPICA 20050624:
Modified the new OSL cache interfaces to use ACPI_CACHE_T
as the type for the host-defined cache object. This allows
the OSL implementation to define and type this object in
any manner desired, simplifying the OSL implementation.
For example, ACPI_CACHE_T is defined as kmem_cache_t for
Linux, and should be defined in the OS-specific header
file for other operating systems as required.
Changed the interface to AcpiOsAcquireObject to directly
return the requested object as the function return (instead
of ACPI_STATUS.) This change was made for performance
reasons, since this is the purpose of the interface in the
first place. acpi_os_acquire_object is now similar to the
acpi_os_allocate interface. Thanks to Alexey Starikovskiy.
Modified the initialization sequence in
acpi_initialize_subsystem to call the OSL interface
acpi_osl_initialize first, before any local initialization.
This change was required because the global initialization
now calls OSL interfaces.
Restructured the code base to split some files because
of size and/or because the code logically belonged in a
separate file. New files are listed below.
utilities/utcache.c /* Local cache interfaces */
utilities/utmutex.c /* Local mutex support */
utilities/utstate.c /* State object support */
parser/psloop.c /* Main AML parse loop */
Signed-off-by: Len Brown <len.brown@intel.com>
2005-06-24 11:00:00 +07:00
|
|
|
/* Extended opcode, get the second opcode byte */
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
aml++;
|
2005-08-05 11:44:28 +07:00
|
|
|
opcode = (u16) ((opcode << 8) | ACPI_GET8(aml));
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
|
|
|
|
return (opcode);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*******************************************************************************
|
|
|
|
*
|
|
|
|
* FUNCTION: acpi_ps_complete_this_op
|
|
|
|
*
|
|
|
|
* PARAMETERS: walk_state - Current State
|
2012-07-12 08:40:10 +07:00
|
|
|
* op - Op to complete
|
2005-04-17 05:20:36 +07:00
|
|
|
*
|
2005-05-26 11:00:00 +07:00
|
|
|
* RETURN: Status
|
2005-04-17 05:20:36 +07:00
|
|
|
*
|
|
|
|
* DESCRIPTION: Perform any cleanup at the completion of an Op.
|
|
|
|
*
|
|
|
|
******************************************************************************/
|
|
|
|
|
ACPICA 20050617-0624 from Bob Moore <robert.moore@intel.com>
ACPICA 20050617:
Moved the object cache operations into the OS interface
layer (OSL) to allow the host OS to handle these operations
if desired (for example, the Linux OSL will invoke the
slab allocator). This support is optional; the compile
time define ACPI_USE_LOCAL_CACHE may be used to utilize
the original cache code in the ACPI CA core. The new OSL
interfaces are shown below. See utalloc.c for an example
implementation, and acpiosxf.h for the exact interface
definitions. Thanks to Alexey Starikovskiy.
acpi_os_create_cache
acpi_os_delete_cache
acpi_os_purge_cache
acpi_os_acquire_object
acpi_os_release_object
Modified the interfaces to acpi_os_acquire_lock and
acpi_os_release_lock to return and restore a flags
parameter. This fits better with many OS lock models.
Note: the current execution state (interrupt handler
or not) is no longer passed to these interfaces. If
necessary, the OSL must determine this state by itself, a
simple and fast operation. Thanks to Alexey Starikovskiy.
Fixed a problem in the ACPI table handling where a valid
XSDT was assumed present if the revision of the RSDP
was 2 or greater. According to the ACPI specification,
the XSDT is optional in all cases, and the table manager
therefore now checks for both an RSDP >=2 and a valid
XSDT pointer. Otherwise, the RSDT pointer is used.
Some ACPI 2.0 compliant BIOSs contain only the RSDT.
Fixed an interpreter problem with the Mid() operator in the
case of an input string where the resulting output string
is of zero length. It now correctly returns a valid,
null terminated string object instead of a string object
with a null pointer.
Fixed a problem with the control method argument handling
to allow a store to an Arg object that already contains an
object of type Device. The Device object is now correctly
overwritten. Previously, an error was returned.
ACPICA 20050624:
Modified the new OSL cache interfaces to use ACPI_CACHE_T
as the type for the host-defined cache object. This allows
the OSL implementation to define and type this object in
any manner desired, simplifying the OSL implementation.
For example, ACPI_CACHE_T is defined as kmem_cache_t for
Linux, and should be defined in the OS-specific header
file for other operating systems as required.
Changed the interface to AcpiOsAcquireObject to directly
return the requested object as the function return (instead
of ACPI_STATUS.) This change was made for performance
reasons, since this is the purpose of the interface in the
first place. acpi_os_acquire_object is now similar to the
acpi_os_allocate interface. Thanks to Alexey Starikovskiy.
Modified the initialization sequence in
acpi_initialize_subsystem to call the OSL interface
acpi_osl_initialize first, before any local initialization.
This change was required because the global initialization
now calls OSL interfaces.
Restructured the code base to split some files because
of size and/or because the code logically belonged in a
separate file. New files are listed below.
utilities/utcache.c /* Local cache interfaces */
utilities/utmutex.c /* Local mutex support */
utilities/utstate.c /* State object support */
parser/psloop.c /* Main AML parse loop */
Signed-off-by: Len Brown <len.brown@intel.com>
2005-06-24 11:00:00 +07:00
|
|
|
acpi_status
|
2016-05-05 11:57:53 +07:00
|
|
|
acpi_ps_complete_this_op(struct acpi_walk_state *walk_state,
|
|
|
|
union acpi_parse_object *op)
|
2005-04-17 05:20:36 +07:00
|
|
|
{
|
2005-08-05 11:44:28 +07:00
|
|
|
union acpi_parse_object *prev;
|
|
|
|
union acpi_parse_object *next;
|
|
|
|
const struct acpi_opcode_info *parent_info;
|
|
|
|
union acpi_parse_object *replacement_op = NULL;
|
2008-09-27 10:28:46 +07:00
|
|
|
acpi_status status = AE_OK;
|
2005-04-17 05:20:36 +07:00
|
|
|
|
ACPI: ACPICA 20060421
Removed a device initialization optimization introduced in
20051216 where the _STA method was not run unless an _INI
was also present for the same device. This optimization
could cause problems because it could allow _INI methods
to be run within a not-present device subtree (If a
not-present device had no _INI, _STA would not be run,
the not-present status would not be discovered, and the
children of the device would be incorrectly traversed.)
Implemented a new _STA optimization where namespace
subtrees that do not contain _INI are identified and
ignored during device initialization. Selectively running
_STA can significantly improve boot time on large machines
(with assistance from Len Brown.)
Implemented support for the device initialization case
where the returned _STA flags indicate a device not-present
but functioning. In this case, _INI is not run, but the
device children are examined for presence, as per the
ACPI specification.
Implemented an additional change to the IndexField support
in order to conform to MS behavior. The value written to
the Index Register is not simply a byte offset, it is a
byte offset in units of the access width of the parent
Index Field. (Fiodor Suietov)
Defined and deployed a new OSL interface,
acpi_os_validate_address(). This interface is called during
the creation of all AML operation regions, and allows
the host OS to exert control over what addresses it will
allow the AML code to access. Operation Regions whose
addresses are disallowed will cause a runtime exception
when they are actually accessed (will not affect or abort
table loading.)
Defined and deployed a new OSL interface,
acpi_os_validate_interface(). This interface allows the host OS
to match the various "optional" interface/behavior strings
for the _OSI predefined control method as appropriate
(with assistance from Bjorn Helgaas.)
Restructured and corrected various problems in the
exception handling code paths within DsCallControlMethod
and DsTerminateControlMethod in dsmethod (with assistance
from Takayoshi Kochi.)
Modified the Linux source converter to ignore quoted string
literals while converting identifiers from mixed to lower
case. This will correct problems with the disassembler
and other areas where such strings must not be modified.
The ACPI_FUNCTION_* macros no longer require quotes around
the function name. This allows the Linux source converter
to convert the names, now that the converter ignores
quoted strings.
Signed-off-by: Bob Moore <robert.moore@intel.com>
Signed-off-by: Len Brown <len.brown@intel.com>
2006-04-22 04:15:00 +07:00
|
|
|
ACPI_FUNCTION_TRACE_PTR(ps_complete_this_op, op);
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
/* Check for null Op, can happen if AML code is corrupt */
|
|
|
|
|
|
|
|
if (!op) {
|
2005-08-05 11:44:28 +07:00
|
|
|
return_ACPI_STATUS(AE_OK); /* OK for now */
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
|
2015-07-23 11:52:59 +07:00
|
|
|
acpi_ex_stop_trace_opcode(op, walk_state);
|
2015-07-23 11:52:53 +07:00
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
/* Delete this op and the subtree below it if asked to */
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
if (((walk_state->parse_flags & ACPI_PARSE_TREE_MASK) !=
|
|
|
|
ACPI_PARSE_DELETE_TREE)
|
|
|
|
|| (walk_state->op_info->class == AML_CLASS_ARGUMENT)) {
|
|
|
|
return_ACPI_STATUS(AE_OK);
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Make sure that we only delete this subtree */
|
|
|
|
|
|
|
|
if (op->common.parent) {
|
2005-05-26 11:00:00 +07:00
|
|
|
prev = op->common.parent->common.value.arg;
|
|
|
|
if (!prev) {
|
2006-10-02 11:00:00 +07:00
|
|
|
|
2005-05-26 11:00:00 +07:00
|
|
|
/* Nothing more to do */
|
|
|
|
|
|
|
|
goto cleanup;
|
|
|
|
}
|
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
/*
|
|
|
|
* Check if we need to replace the operator and its subtree
|
|
|
|
* with a return value op (placeholder op)
|
|
|
|
*/
|
2005-08-05 11:44:28 +07:00
|
|
|
parent_info =
|
|
|
|
acpi_ps_get_opcode_info(op->common.parent->common.
|
|
|
|
aml_opcode);
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
switch (parent_info->class) {
|
|
|
|
case AML_CLASS_CONTROL:
|
2013-06-08 07:58:14 +07:00
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
break;
|
|
|
|
|
|
|
|
case AML_CLASS_CREATE:
|
|
|
|
/*
|
|
|
|
* These opcodes contain term_arg operands. The current
|
|
|
|
* op must be replaced by a placeholder return op
|
|
|
|
*/
|
2005-08-05 11:44:28 +07:00
|
|
|
replacement_op =
|
2015-07-23 11:52:24 +07:00
|
|
|
acpi_ps_alloc_op(AML_INT_RETURN_VALUE_OP,
|
|
|
|
op->common.aml);
|
2005-04-17 05:20:36 +07:00
|
|
|
if (!replacement_op) {
|
2008-09-27 10:28:46 +07:00
|
|
|
status = AE_NO_MEMORY;
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
case AML_CLASS_NAMED_OBJECT:
|
|
|
|
/*
|
|
|
|
* These opcodes contain term_arg operands. The current
|
|
|
|
* op must be replaced by a placeholder return op
|
|
|
|
*/
|
2005-08-05 11:44:28 +07:00
|
|
|
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_BUFFER_OP)
|
|
|
|
|| (op->common.parent->common.aml_opcode ==
|
|
|
|
AML_PACKAGE_OP)
|
2008-04-10 22:06:41 +07:00
|
|
|
|| (op->common.parent->common.aml_opcode ==
|
|
|
|
AML_BANK_FIELD_OP)
|
2005-08-05 11:44:28 +07:00
|
|
|
|| (op->common.parent->common.aml_opcode ==
|
2017-04-26 15:18:40 +07:00
|
|
|
AML_VARIABLE_PACKAGE_OP)) {
|
2005-08-05 11:44:28 +07:00
|
|
|
replacement_op =
|
2015-07-23 11:52:24 +07:00
|
|
|
acpi_ps_alloc_op(AML_INT_RETURN_VALUE_OP,
|
|
|
|
op->common.aml);
|
2005-04-17 05:20:36 +07:00
|
|
|
if (!replacement_op) {
|
2008-09-27 10:28:46 +07:00
|
|
|
status = AE_NO_MEMORY;
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
2005-08-05 11:44:28 +07:00
|
|
|
} else
|
|
|
|
if ((op->common.parent->common.aml_opcode ==
|
|
|
|
AML_NAME_OP)
|
|
|
|
&& (walk_state->pass_number <=
|
|
|
|
ACPI_IMODE_LOAD_PASS2)) {
|
|
|
|
if ((op->common.aml_opcode == AML_BUFFER_OP)
|
|
|
|
|| (op->common.aml_opcode == AML_PACKAGE_OP)
|
|
|
|
|| (op->common.aml_opcode ==
|
2017-04-26 15:18:40 +07:00
|
|
|
AML_VARIABLE_PACKAGE_OP)) {
|
2005-08-05 11:44:28 +07:00
|
|
|
replacement_op =
|
|
|
|
acpi_ps_alloc_op(op->common.
|
2015-07-23 11:52:24 +07:00
|
|
|
aml_opcode,
|
|
|
|
op->common.aml);
|
2005-04-17 05:20:36 +07:00
|
|
|
if (!replacement_op) {
|
2008-09-27 10:28:46 +07:00
|
|
|
status = AE_NO_MEMORY;
|
|
|
|
} else {
|
|
|
|
replacement_op->named.data =
|
|
|
|
op->named.data;
|
|
|
|
replacement_op->named.length =
|
|
|
|
op->named.length;
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
2005-05-26 11:00:00 +07:00
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
replacement_op =
|
2015-07-23 11:52:24 +07:00
|
|
|
acpi_ps_alloc_op(AML_INT_RETURN_VALUE_OP,
|
|
|
|
op->common.aml);
|
2005-04-17 05:20:36 +07:00
|
|
|
if (!replacement_op) {
|
2008-09-27 10:28:46 +07:00
|
|
|
status = AE_NO_MEMORY;
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* We must unlink this op from the parent tree */
|
|
|
|
|
|
|
|
if (prev == op) {
|
2006-10-02 11:00:00 +07:00
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
/* This op is the first in the list */
|
|
|
|
|
|
|
|
if (replacement_op) {
|
2005-08-05 11:44:28 +07:00
|
|
|
replacement_op->common.parent =
|
|
|
|
op->common.parent;
|
|
|
|
replacement_op->common.value.arg = NULL;
|
|
|
|
replacement_op->common.node = op->common.node;
|
|
|
|
op->common.parent->common.value.arg =
|
|
|
|
replacement_op;
|
|
|
|
replacement_op->common.next = op->common.next;
|
|
|
|
} else {
|
|
|
|
op->common.parent->common.value.arg =
|
|
|
|
op->common.next;
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Search the parent list */
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
else
|
|
|
|
while (prev) {
|
2006-10-02 11:00:00 +07:00
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
/* Traverse all siblings in the parent's argument list */
|
|
|
|
|
|
|
|
next = prev->common.next;
|
|
|
|
if (next == op) {
|
|
|
|
if (replacement_op) {
|
|
|
|
replacement_op->common.parent =
|
|
|
|
op->common.parent;
|
|
|
|
replacement_op->common.value.
|
|
|
|
arg = NULL;
|
|
|
|
replacement_op->common.node =
|
|
|
|
op->common.node;
|
|
|
|
prev->common.next =
|
|
|
|
replacement_op;
|
|
|
|
replacement_op->common.next =
|
|
|
|
op->common.next;
|
|
|
|
next = NULL;
|
|
|
|
} else {
|
|
|
|
prev->common.next =
|
|
|
|
op->common.next;
|
|
|
|
next = NULL;
|
|
|
|
}
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
2005-08-05 11:44:28 +07:00
|
|
|
prev = next;
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-10-29 08:30:02 +07:00
|
|
|
cleanup:
|
2005-04-17 05:20:36 +07:00
|
|
|
|
2005-04-19 09:49:35 +07:00
|
|
|
/* Now we can actually delete the subtree rooted at Op */
|
2005-04-17 05:20:36 +07:00
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_ps_delete_parse_tree(op);
|
2008-09-27 10:28:46 +07:00
|
|
|
return_ACPI_STATUS(status);
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
|
|
|
|
/*******************************************************************************
|
|
|
|
*
|
|
|
|
* FUNCTION: acpi_ps_next_parse_state
|
|
|
|
*
|
2005-04-19 09:49:35 +07:00
|
|
|
* PARAMETERS: walk_state - Current state
|
2012-07-12 08:40:10 +07:00
|
|
|
* op - Current parse op
|
2005-04-19 09:49:35 +07:00
|
|
|
* callback_status - Status from previous operation
|
2005-04-17 05:20:36 +07:00
|
|
|
*
|
|
|
|
* RETURN: Status
|
|
|
|
*
|
|
|
|
* DESCRIPTION: Update the parser state based upon the return exception from
|
|
|
|
* the parser callback.
|
|
|
|
*
|
|
|
|
******************************************************************************/
|
|
|
|
|
ACPICA 20050617-0624 from Bob Moore <robert.moore@intel.com>
ACPICA 20050617:
Moved the object cache operations into the OS interface
layer (OSL) to allow the host OS to handle these operations
if desired (for example, the Linux OSL will invoke the
slab allocator). This support is optional; the compile
time define ACPI_USE_LOCAL_CACHE may be used to utilize
the original cache code in the ACPI CA core. The new OSL
interfaces are shown below. See utalloc.c for an example
implementation, and acpiosxf.h for the exact interface
definitions. Thanks to Alexey Starikovskiy.
acpi_os_create_cache
acpi_os_delete_cache
acpi_os_purge_cache
acpi_os_acquire_object
acpi_os_release_object
Modified the interfaces to acpi_os_acquire_lock and
acpi_os_release_lock to return and restore a flags
parameter. This fits better with many OS lock models.
Note: the current execution state (interrupt handler
or not) is no longer passed to these interfaces. If
necessary, the OSL must determine this state by itself, a
simple and fast operation. Thanks to Alexey Starikovskiy.
Fixed a problem in the ACPI table handling where a valid
XSDT was assumed present if the revision of the RSDP
was 2 or greater. According to the ACPI specification,
the XSDT is optional in all cases, and the table manager
therefore now checks for both an RSDP >=2 and a valid
XSDT pointer. Otherwise, the RSDT pointer is used.
Some ACPI 2.0 compliant BIOSs contain only the RSDT.
Fixed an interpreter problem with the Mid() operator in the
case of an input string where the resulting output string
is of zero length. It now correctly returns a valid,
null terminated string object instead of a string object
with a null pointer.
Fixed a problem with the control method argument handling
to allow a store to an Arg object that already contains an
object of type Device. The Device object is now correctly
overwritten. Previously, an error was returned.
ACPICA 20050624:
Modified the new OSL cache interfaces to use ACPI_CACHE_T
as the type for the host-defined cache object. This allows
the OSL implementation to define and type this object in
any manner desired, simplifying the OSL implementation.
For example, ACPI_CACHE_T is defined as kmem_cache_t for
Linux, and should be defined in the OS-specific header
file for other operating systems as required.
Changed the interface to AcpiOsAcquireObject to directly
return the requested object as the function return (instead
of ACPI_STATUS.) This change was made for performance
reasons, since this is the purpose of the interface in the
first place. acpi_os_acquire_object is now similar to the
acpi_os_allocate interface. Thanks to Alexey Starikovskiy.
Modified the initialization sequence in
acpi_initialize_subsystem to call the OSL interface
acpi_osl_initialize first, before any local initialization.
This change was required because the global initialization
now calls OSL interfaces.
Restructured the code base to split some files because
of size and/or because the code logically belonged in a
separate file. New files are listed below.
utilities/utcache.c /* Local cache interfaces */
utilities/utmutex.c /* Local mutex support */
utilities/utstate.c /* State object support */
parser/psloop.c /* Main AML parse loop */
Signed-off-by: Len Brown <len.brown@intel.com>
2005-06-24 11:00:00 +07:00
|
|
|
acpi_status
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_ps_next_parse_state(struct acpi_walk_state *walk_state,
|
|
|
|
union acpi_parse_object *op,
|
|
|
|
acpi_status callback_status)
|
2005-04-17 05:20:36 +07:00
|
|
|
{
|
2005-08-05 11:44:28 +07:00
|
|
|
struct acpi_parse_state *parser_state = &walk_state->parser_state;
|
|
|
|
acpi_status status = AE_CTRL_PENDING;
|
2005-04-17 05:20:36 +07:00
|
|
|
|
ACPI: ACPICA 20060421
Removed a device initialization optimization introduced in
20051216 where the _STA method was not run unless an _INI
was also present for the same device. This optimization
could cause problems because it could allow _INI methods
to be run within a not-present device subtree (If a
not-present device had no _INI, _STA would not be run,
the not-present status would not be discovered, and the
children of the device would be incorrectly traversed.)
Implemented a new _STA optimization where namespace
subtrees that do not contain _INI are identified and
ignored during device initialization. Selectively running
_STA can significantly improve boot time on large machines
(with assistance from Len Brown.)
Implemented support for the device initialization case
where the returned _STA flags indicate a device not-present
but functioning. In this case, _INI is not run, but the
device children are examined for presence, as per the
ACPI specification.
Implemented an additional change to the IndexField support
in order to conform to MS behavior. The value written to
the Index Register is not simply a byte offset, it is a
byte offset in units of the access width of the parent
Index Field. (Fiodor Suietov)
Defined and deployed a new OSL interface,
acpi_os_validate_address(). This interface is called during
the creation of all AML operation regions, and allows
the host OS to exert control over what addresses it will
allow the AML code to access. Operation Regions whose
addresses are disallowed will cause a runtime exception
when they are actually accessed (will not affect or abort
table loading.)
Defined and deployed a new OSL interface,
acpi_os_validate_interface(). This interface allows the host OS
to match the various "optional" interface/behavior strings
for the _OSI predefined control method as appropriate
(with assistance from Bjorn Helgaas.)
Restructured and corrected various problems in the
exception handling code paths within DsCallControlMethod
and DsTerminateControlMethod in dsmethod (with assistance
from Takayoshi Kochi.)
Modified the Linux source converter to ignore quoted string
literals while converting identifiers from mixed to lower
case. This will correct problems with the disassembler
and other areas where such strings must not be modified.
The ACPI_FUNCTION_* macros no longer require quotes around
the function name. This allows the Linux source converter
to convert the names, now that the converter ignores
quoted strings.
Signed-off-by: Bob Moore <robert.moore@intel.com>
Signed-off-by: Len Brown <len.brown@intel.com>
2006-04-22 04:15:00 +07:00
|
|
|
ACPI_FUNCTION_TRACE_PTR(ps_next_parse_state, op);
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
switch (callback_status) {
|
|
|
|
case AE_CTRL_TERMINATE:
|
|
|
|
/*
|
|
|
|
* A control method was terminated via a RETURN statement.
|
|
|
|
* The walk of this method is complete.
|
|
|
|
*/
|
|
|
|
parser_state->aml = parser_state->aml_end;
|
|
|
|
status = AE_CTRL_TERMINATE;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case AE_CTRL_BREAK:
|
|
|
|
|
|
|
|
parser_state->aml = walk_state->aml_last_while;
|
|
|
|
walk_state->control_state->common.value = FALSE;
|
2008-04-10 22:06:36 +07:00
|
|
|
status = AE_CTRL_BREAK;
|
2005-04-17 05:20:36 +07:00
|
|
|
break;
|
|
|
|
|
|
|
|
case AE_CTRL_CONTINUE:
|
|
|
|
|
|
|
|
parser_state->aml = walk_state->aml_last_while;
|
2008-04-10 22:06:36 +07:00
|
|
|
status = AE_CTRL_CONTINUE;
|
2005-04-17 05:20:36 +07:00
|
|
|
break;
|
|
|
|
|
|
|
|
case AE_CTRL_PENDING:
|
|
|
|
|
|
|
|
parser_state->aml = walk_state->aml_last_while;
|
|
|
|
break;
|
|
|
|
|
|
|
|
#if 0
|
|
|
|
case AE_CTRL_SKIP:
|
|
|
|
|
|
|
|
parser_state->aml = parser_state->scope->parse_scope.pkg_end;
|
|
|
|
status = AE_OK;
|
|
|
|
break;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
case AE_CTRL_TRUE:
|
|
|
|
/*
|
|
|
|
* Predicate of an IF was true, and we are at the matching ELSE.
|
|
|
|
* Just close out this package
|
|
|
|
*/
|
2005-08-05 11:44:28 +07:00
|
|
|
parser_state->aml = acpi_ps_get_next_package_end(parser_state);
|
2008-04-10 22:06:36 +07:00
|
|
|
status = AE_CTRL_PENDING;
|
2005-04-17 05:20:36 +07:00
|
|
|
break;
|
|
|
|
|
|
|
|
case AE_CTRL_FALSE:
|
|
|
|
/*
|
|
|
|
* Either an IF/WHILE Predicate was false or we encountered a BREAK
|
2012-10-31 09:26:55 +07:00
|
|
|
* opcode. In both cases, we do not execute the rest of the
|
2005-04-17 05:20:36 +07:00
|
|
|
* package; We simply close out the parent (finishing the walk of
|
|
|
|
* this branch of the tree) and continue execution at the parent
|
|
|
|
* level.
|
|
|
|
*/
|
|
|
|
parser_state->aml = parser_state->scope->parse_scope.pkg_end;
|
|
|
|
|
|
|
|
/* In the case of a BREAK, just force a predicate (if any) to FALSE */
|
|
|
|
|
|
|
|
walk_state->control_state->common.value = FALSE;
|
|
|
|
status = AE_CTRL_END;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case AE_CTRL_TRANSFER:
|
|
|
|
|
2005-04-19 09:49:35 +07:00
|
|
|
/* A method call (invocation) -- transfer control */
|
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
status = AE_CTRL_TRANSFER;
|
|
|
|
walk_state->prev_op = op;
|
|
|
|
walk_state->method_call_op = op;
|
2005-08-05 11:44:28 +07:00
|
|
|
walk_state->method_call_node =
|
|
|
|
(op->common.value.arg)->common.node;
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
/* Will return value (if any) be used by the caller? */
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
walk_state->return_used =
|
|
|
|
acpi_ds_is_result_used(op, walk_state);
|
2005-04-17 05:20:36 +07:00
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
2005-04-19 09:49:35 +07:00
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
status = callback_status;
|
|
|
|
if ((callback_status & AE_CODE_MASK) == AE_CODE_CONTROL) {
|
|
|
|
status = AE_OK;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
return_ACPI_STATUS(status);
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
|
|
|
|
/*******************************************************************************
|
|
|
|
*
|
|
|
|
* FUNCTION: acpi_ps_parse_aml
|
|
|
|
*
|
2005-04-19 09:49:35 +07:00
|
|
|
* PARAMETERS: walk_state - Current state
|
2005-04-17 05:20:36 +07:00
|
|
|
*
|
|
|
|
*
|
|
|
|
* RETURN: Status
|
|
|
|
*
|
|
|
|
* DESCRIPTION: Parse raw AML and return a tree of ops
|
|
|
|
*
|
|
|
|
******************************************************************************/
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_status acpi_ps_parse_aml(struct acpi_walk_state *walk_state)
|
2005-04-17 05:20:36 +07:00
|
|
|
{
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_status status;
|
|
|
|
struct acpi_thread_state *thread;
|
|
|
|
struct acpi_thread_state *prev_walk_list = acpi_gbl_current_walk_list;
|
|
|
|
struct acpi_walk_state *previous_walk_state;
|
2005-04-17 05:20:36 +07:00
|
|
|
|
ACPI: ACPICA 20060421
Removed a device initialization optimization introduced in
20051216 where the _STA method was not run unless an _INI
was also present for the same device. This optimization
could cause problems because it could allow _INI methods
to be run within a not-present device subtree (If a
not-present device had no _INI, _STA would not be run,
the not-present status would not be discovered, and the
children of the device would be incorrectly traversed.)
Implemented a new _STA optimization where namespace
subtrees that do not contain _INI are identified and
ignored during device initialization. Selectively running
_STA can significantly improve boot time on large machines
(with assistance from Len Brown.)
Implemented support for the device initialization case
where the returned _STA flags indicate a device not-present
but functioning. In this case, _INI is not run, but the
device children are examined for presence, as per the
ACPI specification.
Implemented an additional change to the IndexField support
in order to conform to MS behavior. The value written to
the Index Register is not simply a byte offset, it is a
byte offset in units of the access width of the parent
Index Field. (Fiodor Suietov)
Defined and deployed a new OSL interface,
acpi_os_validate_address(). This interface is called during
the creation of all AML operation regions, and allows
the host OS to exert control over what addresses it will
allow the AML code to access. Operation Regions whose
addresses are disallowed will cause a runtime exception
when they are actually accessed (will not affect or abort
table loading.)
Defined and deployed a new OSL interface,
acpi_os_validate_interface(). This interface allows the host OS
to match the various "optional" interface/behavior strings
for the _OSI predefined control method as appropriate
(with assistance from Bjorn Helgaas.)
Restructured and corrected various problems in the
exception handling code paths within DsCallControlMethod
and DsTerminateControlMethod in dsmethod (with assistance
from Takayoshi Kochi.)
Modified the Linux source converter to ignore quoted string
literals while converting identifiers from mixed to lower
case. This will correct problems with the disassembler
and other areas where such strings must not be modified.
The ACPI_FUNCTION_* macros no longer require quotes around
the function name. This allows the Linux source converter
to convert the names, now that the converter ignores
quoted strings.
Signed-off-by: Bob Moore <robert.moore@intel.com>
Signed-off-by: Len Brown <len.brown@intel.com>
2006-04-22 04:15:00 +07:00
|
|
|
ACPI_FUNCTION_TRACE(ps_parse_aml);
|
2005-04-17 05:20:36 +07:00
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
ACPI_DEBUG_PRINT((ACPI_DB_PARSE,
|
ACPI: ACPICA 20060421
Removed a device initialization optimization introduced in
20051216 where the _STA method was not run unless an _INI
was also present for the same device. This optimization
could cause problems because it could allow _INI methods
to be run within a not-present device subtree (If a
not-present device had no _INI, _STA would not be run,
the not-present status would not be discovered, and the
children of the device would be incorrectly traversed.)
Implemented a new _STA optimization where namespace
subtrees that do not contain _INI are identified and
ignored during device initialization. Selectively running
_STA can significantly improve boot time on large machines
(with assistance from Len Brown.)
Implemented support for the device initialization case
where the returned _STA flags indicate a device not-present
but functioning. In this case, _INI is not run, but the
device children are examined for presence, as per the
ACPI specification.
Implemented an additional change to the IndexField support
in order to conform to MS behavior. The value written to
the Index Register is not simply a byte offset, it is a
byte offset in units of the access width of the parent
Index Field. (Fiodor Suietov)
Defined and deployed a new OSL interface,
acpi_os_validate_address(). This interface is called during
the creation of all AML operation regions, and allows
the host OS to exert control over what addresses it will
allow the AML code to access. Operation Regions whose
addresses are disallowed will cause a runtime exception
when they are actually accessed (will not affect or abort
table loading.)
Defined and deployed a new OSL interface,
acpi_os_validate_interface(). This interface allows the host OS
to match the various "optional" interface/behavior strings
for the _OSI predefined control method as appropriate
(with assistance from Bjorn Helgaas.)
Restructured and corrected various problems in the
exception handling code paths within DsCallControlMethod
and DsTerminateControlMethod in dsmethod (with assistance
from Takayoshi Kochi.)
Modified the Linux source converter to ignore quoted string
literals while converting identifiers from mixed to lower
case. This will correct problems with the disassembler
and other areas where such strings must not be modified.
The ACPI_FUNCTION_* macros no longer require quotes around
the function name. This allows the Linux source converter
to convert the names, now that the converter ignores
quoted strings.
Signed-off-by: Bob Moore <robert.moore@intel.com>
Signed-off-by: Len Brown <len.brown@intel.com>
2006-04-22 04:15:00 +07:00
|
|
|
"Entered with WalkState=%p Aml=%p size=%X\n",
|
2005-08-05 11:44:28 +07:00
|
|
|
walk_state, walk_state->parser_state.aml,
|
|
|
|
walk_state->parser_state.aml_size));
|
2005-04-17 05:20:36 +07:00
|
|
|
|
2008-11-13 08:45:35 +07:00
|
|
|
if (!walk_state->parser_state.aml) {
|
2018-02-16 04:09:28 +07:00
|
|
|
return_ACPI_STATUS(AE_BAD_ADDRESS);
|
2008-11-13 08:45:35 +07:00
|
|
|
}
|
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
/* Create and initialize a new thread state */
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
thread = acpi_ut_create_thread_state();
|
2005-04-17 05:20:36 +07:00
|
|
|
if (!thread) {
|
2008-11-12 13:56:59 +07:00
|
|
|
if (walk_state->method_desc) {
|
|
|
|
|
|
|
|
/* Executing a control method - additional cleanup */
|
|
|
|
|
2012-10-31 09:25:45 +07:00
|
|
|
acpi_ds_terminate_control_method(walk_state->
|
|
|
|
method_desc,
|
|
|
|
walk_state);
|
2008-11-12 13:56:59 +07:00
|
|
|
}
|
|
|
|
|
2006-05-27 03:36:00 +07:00
|
|
|
acpi_ds_delete_walk_state(walk_state);
|
2005-08-05 11:44:28 +07:00
|
|
|
return_ACPI_STATUS(AE_NO_MEMORY);
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
|
|
|
|
walk_state->thread = thread;
|
2006-06-24 04:04:00 +07:00
|
|
|
|
|
|
|
/*
|
|
|
|
* If executing a method, the starting sync_level is this method's
|
|
|
|
* sync_level
|
|
|
|
*/
|
|
|
|
if (walk_state->method_desc) {
|
|
|
|
walk_state->thread->current_sync_level =
|
|
|
|
walk_state->method_desc->method.sync_level;
|
|
|
|
}
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_ds_push_walk_state(walk_state, thread);
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
/*
|
|
|
|
* This global allows the AML debugger to get a handle to the currently
|
|
|
|
* executing control method.
|
|
|
|
*/
|
|
|
|
acpi_gbl_current_walk_list = thread;
|
|
|
|
|
|
|
|
/*
|
2012-10-31 09:26:55 +07:00
|
|
|
* Execute the walk loop as long as there is a valid Walk State. This
|
2005-04-17 05:20:36 +07:00
|
|
|
* handles nested control method invocations without recursion.
|
|
|
|
*/
|
2005-08-05 11:44:28 +07:00
|
|
|
ACPI_DEBUG_PRINT((ACPI_DB_PARSE, "State=%p\n", walk_state));
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
status = AE_OK;
|
|
|
|
while (walk_state) {
|
2005-08-05 11:44:28 +07:00
|
|
|
if (ACPI_SUCCESS(status)) {
|
2005-04-17 05:20:36 +07:00
|
|
|
/*
|
|
|
|
* The parse_loop executes AML until the method terminates
|
|
|
|
* or calls another method.
|
|
|
|
*/
|
2005-08-05 11:44:28 +07:00
|
|
|
status = acpi_ps_parse_loop(walk_state);
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
ACPI_DEBUG_PRINT((ACPI_DB_PARSE,
|
|
|
|
"Completed one call to walk loop, %s State=%p\n",
|
|
|
|
acpi_format_exception(status), walk_state));
|
2005-04-17 05:20:36 +07:00
|
|
|
|
2018-12-14 03:30:33 +07:00
|
|
|
if (walk_state->method_pathname && walk_state->method_is_nested) {
|
|
|
|
|
|
|
|
/* Optional object evaluation log */
|
|
|
|
|
|
|
|
ACPI_DEBUG_PRINT_RAW((ACPI_DB_EVALUATION,
|
|
|
|
"%-26s: %*s%s\n",
|
|
|
|
" Exit nested method",
|
|
|
|
(walk_state->
|
|
|
|
method_nesting_depth + 1) * 3,
|
|
|
|
" ",
|
|
|
|
&walk_state->method_pathname[1]));
|
|
|
|
|
|
|
|
ACPI_FREE(walk_state->method_pathname);
|
|
|
|
walk_state->method_is_nested = FALSE;
|
|
|
|
}
|
2005-04-17 05:20:36 +07:00
|
|
|
if (status == AE_CTRL_TRANSFER) {
|
|
|
|
/*
|
|
|
|
* A method call was detected.
|
|
|
|
* Transfer control to the called control method
|
|
|
|
*/
|
2005-08-05 11:44:28 +07:00
|
|
|
status =
|
|
|
|
acpi_ds_call_control_method(thread, walk_state,
|
|
|
|
NULL);
|
2006-06-24 04:04:00 +07:00
|
|
|
if (ACPI_FAILURE(status)) {
|
|
|
|
status =
|
|
|
|
acpi_ds_method_error(status, walk_state);
|
|
|
|
}
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
/*
|
2015-12-29 12:54:36 +07:00
|
|
|
* If the transfer to the new method method call worked
|
|
|
|
*, a new walk state was created -- get it
|
2005-04-17 05:20:36 +07:00
|
|
|
*/
|
2005-08-05 11:44:28 +07:00
|
|
|
walk_state = acpi_ds_get_current_walk_state(thread);
|
2005-04-17 05:20:36 +07:00
|
|
|
continue;
|
2005-08-05 11:44:28 +07:00
|
|
|
} else if (status == AE_CTRL_TERMINATE) {
|
2005-04-17 05:20:36 +07:00
|
|
|
status = AE_OK;
|
2005-08-05 11:44:28 +07:00
|
|
|
} else if ((status != AE_OK) && (walk_state->method_desc)) {
|
2006-10-02 11:00:00 +07:00
|
|
|
|
2005-11-18 01:07:00 +07:00
|
|
|
/* Either the method parse or actual execution failed */
|
2005-04-17 05:20:36 +07:00
|
|
|
|
2016-09-07 13:07:16 +07:00
|
|
|
acpi_ex_exit_interpreter();
|
2017-06-05 15:42:23 +07:00
|
|
|
if (status == AE_ABORT_METHOD) {
|
|
|
|
acpi_ns_print_node_pathname(walk_state->
|
|
|
|
method_node,
|
2019-02-16 04:36:09 +07:00
|
|
|
"Aborting method");
|
2017-06-05 15:42:23 +07:00
|
|
|
acpi_os_printf("\n");
|
|
|
|
} else {
|
2019-02-16 04:36:09 +07:00
|
|
|
ACPI_ERROR_METHOD("Aborting method",
|
|
|
|
walk_state->method_node, NULL,
|
|
|
|
status);
|
2017-06-05 15:42:23 +07:00
|
|
|
}
|
2016-09-07 13:07:16 +07:00
|
|
|
acpi_ex_enter_interpreter();
|
2005-09-03 04:24:17 +07:00
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
/* Check for possible multi-thread reentrancy problem */
|
|
|
|
|
|
|
|
if ((status == AE_ALREADY_EXISTS) &&
|
2015-12-29 12:54:36 +07:00
|
|
|
(!(walk_state->method_desc->method.info_flags &
|
|
|
|
ACPI_METHOD_SERIALIZED))) {
|
2005-04-17 05:20:36 +07:00
|
|
|
/*
|
2011-01-12 08:19:43 +07:00
|
|
|
* Method is not serialized and tried to create an object
|
|
|
|
* twice. The probable cause is that the method cannot
|
|
|
|
* handle reentrancy. Mark as "pending serialized" now, and
|
|
|
|
* then mark "serialized" when the last thread exits.
|
2005-04-17 05:20:36 +07:00
|
|
|
*/
|
2011-01-12 08:19:43 +07:00
|
|
|
walk_state->method_desc->method.info_flags |=
|
|
|
|
ACPI_METHOD_SERIALIZED_PENDING;
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* We are done with this walk, move on to the parent if any */
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
walk_state = acpi_ds_pop_walk_state(thread);
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
/* Reset the current scope to the beginning of scope stack */
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_ds_scope_stack_clear(walk_state);
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
/*
|
2005-11-18 01:07:00 +07:00
|
|
|
* If we just returned from the execution of a control method or if we
|
|
|
|
* encountered an error during the method parse phase, there's lots of
|
|
|
|
* cleanup to do
|
2005-04-17 05:20:36 +07:00
|
|
|
*/
|
2005-11-18 01:07:00 +07:00
|
|
|
if (((walk_state->parse_flags & ACPI_PARSE_MODE_MASK) ==
|
ACPICA: Interpreter: Fix MLC issues by switching to new term_list grammar for table loading
ACPICA commit 0e24fb67cde08d7df7671d7d7b183490dc79707e
The MLC (Module Level Code) is an ACPICA terminology describing the AML
code out of any control method, its support is an indication of the
interpreter behavior during the table loading.
The original implementation of MLC in ACPICA had several issues:
1. Out of any control method, besides of the object creating opcodes, only
the code blocks wrapped by "If/Else/While" opcodes were supported.
2. The supported MLC code blocks were executed after loading the table
rather than being executed right in place.
============================================================
The demo of this order issue is as follows:
Name (OBJ1, 1)
If (CND1 == 1)
{
Name (OBJ2, 2)
}
Name (OBJ3, 3)
The original MLC support created OBJ2 after OBJ3's creation.
============================================================
Other than these limitations, MLC support in ACPICA looks correct. And
supporting this should be easy/natural for ACPICA, but enabling of this was
blocked by some ACPICA internal and OSPM specific initialization order
issues we've fixed recently. The wrong support started from the following
false bug fixing commit:
Commit: 7f0c826a437157d2b19662977e9cf3b472cf24a6
Subject: ACPICA: Add support for module-level executable AML code
Commit: 9a884ab64a4d092b4c3bf24fd9a30f7fbd4591e7
Subject: ACPICA: Add additional module-level code support
...
We can confirm Windows interpreter behavior via reverse engineering means.
It can be proven that not only If/Else/While wrapped code blocks, all
opcodes can be executed at the module level, including operation region
accesses. And it can be proven that the MLC should be executed right in
place, not in such a deferred way executed after loading the table.
And the above facts indeed reflect the spec words around ACPI definition
block tables (DSDT/SSDT/...), the entire table and the Scope object is
defined by the AML specification in BNF style as:
AMLCode := def_block_header term_list
def_scope := scope_op pkg_length name_string term_list
The bodies of the scope opening terms (AMLCode/Scope) are all term_list,
thus the table loading should be no difference than the control method
evaluations as the body of the Method is also defined by the AML
specification as term_list:
def_method := method_op pkg_length name_string method_flags term_list
The only difference is: after evaluating control method, created named
objects may be freed due to no reference, while named objects created by
the table loading should only be freed after unloading the table.
So this patch follows the spec and the de-facto standard behavior, enables
the new grammar (term_list) for the table loading.
By doing so, beyond the fixes to the above issues, we can see additional
differences comparing to the old grammar based table loading:
1. Originally, beyond the scope opening terms (AMLCode/Scope),
If/Else/While wrapped code blocks under the scope creating terms
(Device/power_resource/Processor/thermal_zone) are also supported as
deferred MLC, which violates the spec defined grammar where object_list
is enforced. With MLC support improved as non-deferred, the interpreter
parses such scope creating terms as term_list rather object_list like the
scope opening terms.
After probing the Windows behavior and proving that it also parses these
terms as term_list, we submitted an ECR (Engineering Change Request) to
the ASWG (ACPI Specification Working Group) to clarify this. The ECR is
titled as "ASL Grammar Clarification for Executable AML Opcodes" and has
been accepted by the ASWG. The new grammar will appear in ACPI
specification 6.2.
2. Originally, Buffer/Package/operation_region/create_XXXField/bank_field
arguments are evaluated in a deferred way after loading the table. With
MLC support improved, they are also parsed right in place during the
table loading.
This is also Windows compliant and the only difference is the removal
of the debugging messages implemented before acpi_ds_execute_arguments(),
see Link # [1] for the details. A previous commit should have ensured
that acpi_check_address_range() won't regress.
Note that enabling this feature may cause regressions due to long term
Linux ACPI support on top of the wrong grammar. So this patch also prepares
a global option to be used to roll back to the old grammar during the
period between a regression is reported and the regression is
root-cause-fixed. Lv Zheng.
Link: https://bugzilla.kernel.org/show_bug.cgi?id=112911 # [1]
Link: https://bugzilla.kernel.org/show_bug.cgi?id=117671 # [1]
Link: https://bugzilla.kernel.org/show_bug.cgi?id=153541 # [1]
Link: https://github.com/acpica/acpica/issues/122
Link: https://bugs.acpica.org/show_bug.cgi?id=963
Link: https://github.com/acpica/acpica/commit/0e24fb67
Reported-and-tested-by: Chris Bainbridge <chris.bainbridge@gmail.com>
Reported-by: Ehsan <dashesy@gmail.com>
Reported-and-tested-by: Dutch Guy <lucht_piloot@gmx.net>
Tested-by: Mika Westerberg <mika.westerberg@linux.intel.com>
Signed-off-by: Lv Zheng <lv.zheng@intel.com>
Signed-off-by: Bob Moore <robert.moore@intel.com>
Signed-off-by: Rafael J. Wysocki <rafael.j.wysocki@intel.com>
2016-09-07 13:06:54 +07:00
|
|
|
ACPI_PARSE_EXECUTE &&
|
|
|
|
!(walk_state->parse_flags & ACPI_PARSE_MODULE_LEVEL)) ||
|
|
|
|
(ACPI_FAILURE(status))) {
|
ACPI: ACPICA 20060421
Removed a device initialization optimization introduced in
20051216 where the _STA method was not run unless an _INI
was also present for the same device. This optimization
could cause problems because it could allow _INI methods
to be run within a not-present device subtree (If a
not-present device had no _INI, _STA would not be run,
the not-present status would not be discovered, and the
children of the device would be incorrectly traversed.)
Implemented a new _STA optimization where namespace
subtrees that do not contain _INI are identified and
ignored during device initialization. Selectively running
_STA can significantly improve boot time on large machines
(with assistance from Len Brown.)
Implemented support for the device initialization case
where the returned _STA flags indicate a device not-present
but functioning. In this case, _INI is not run, but the
device children are examined for presence, as per the
ACPI specification.
Implemented an additional change to the IndexField support
in order to conform to MS behavior. The value written to
the Index Register is not simply a byte offset, it is a
byte offset in units of the access width of the parent
Index Field. (Fiodor Suietov)
Defined and deployed a new OSL interface,
acpi_os_validate_address(). This interface is called during
the creation of all AML operation regions, and allows
the host OS to exert control over what addresses it will
allow the AML code to access. Operation Regions whose
addresses are disallowed will cause a runtime exception
when they are actually accessed (will not affect or abort
table loading.)
Defined and deployed a new OSL interface,
acpi_os_validate_interface(). This interface allows the host OS
to match the various "optional" interface/behavior strings
for the _OSI predefined control method as appropriate
(with assistance from Bjorn Helgaas.)
Restructured and corrected various problems in the
exception handling code paths within DsCallControlMethod
and DsTerminateControlMethod in dsmethod (with assistance
from Takayoshi Kochi.)
Modified the Linux source converter to ignore quoted string
literals while converting identifiers from mixed to lower
case. This will correct problems with the disassembler
and other areas where such strings must not be modified.
The ACPI_FUNCTION_* macros no longer require quotes around
the function name. This allows the Linux source converter
to convert the names, now that the converter ignores
quoted strings.
Signed-off-by: Bob Moore <robert.moore@intel.com>
Signed-off-by: Len Brown <len.brown@intel.com>
2006-04-22 04:15:00 +07:00
|
|
|
acpi_ds_terminate_control_method(walk_state->
|
|
|
|
method_desc,
|
|
|
|
walk_state);
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Delete this walk state and all linked control states */
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_ps_cleanup_scope(&walk_state->parser_state);
|
2005-04-17 05:20:36 +07:00
|
|
|
previous_walk_state = walk_state;
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
ACPI_DEBUG_PRINT((ACPI_DB_PARSE,
|
ACPI: ACPICA 20060421
Removed a device initialization optimization introduced in
20051216 where the _STA method was not run unless an _INI
was also present for the same device. This optimization
could cause problems because it could allow _INI methods
to be run within a not-present device subtree (If a
not-present device had no _INI, _STA would not be run,
the not-present status would not be discovered, and the
children of the device would be incorrectly traversed.)
Implemented a new _STA optimization where namespace
subtrees that do not contain _INI are identified and
ignored during device initialization. Selectively running
_STA can significantly improve boot time on large machines
(with assistance from Len Brown.)
Implemented support for the device initialization case
where the returned _STA flags indicate a device not-present
but functioning. In this case, _INI is not run, but the
device children are examined for presence, as per the
ACPI specification.
Implemented an additional change to the IndexField support
in order to conform to MS behavior. The value written to
the Index Register is not simply a byte offset, it is a
byte offset in units of the access width of the parent
Index Field. (Fiodor Suietov)
Defined and deployed a new OSL interface,
acpi_os_validate_address(). This interface is called during
the creation of all AML operation regions, and allows
the host OS to exert control over what addresses it will
allow the AML code to access. Operation Regions whose
addresses are disallowed will cause a runtime exception
when they are actually accessed (will not affect or abort
table loading.)
Defined and deployed a new OSL interface,
acpi_os_validate_interface(). This interface allows the host OS
to match the various "optional" interface/behavior strings
for the _OSI predefined control method as appropriate
(with assistance from Bjorn Helgaas.)
Restructured and corrected various problems in the
exception handling code paths within DsCallControlMethod
and DsTerminateControlMethod in dsmethod (with assistance
from Takayoshi Kochi.)
Modified the Linux source converter to ignore quoted string
literals while converting identifiers from mixed to lower
case. This will correct problems with the disassembler
and other areas where such strings must not be modified.
The ACPI_FUNCTION_* macros no longer require quotes around
the function name. This allows the Linux source converter
to convert the names, now that the converter ignores
quoted strings.
Signed-off-by: Bob Moore <robert.moore@intel.com>
Signed-off-by: Len Brown <len.brown@intel.com>
2006-04-22 04:15:00 +07:00
|
|
|
"ReturnValue=%p, ImplicitValue=%p State=%p\n",
|
2005-08-05 11:44:28 +07:00
|
|
|
walk_state->return_desc,
|
|
|
|
walk_state->implicit_return_obj, walk_state));
|
2005-04-17 05:20:36 +07:00
|
|
|
|
|
|
|
/* Check if we have restarted a preempted walk */
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
walk_state = acpi_ds_get_current_walk_state(thread);
|
2005-04-17 05:20:36 +07:00
|
|
|
if (walk_state) {
|
2005-08-05 11:44:28 +07:00
|
|
|
if (ACPI_SUCCESS(status)) {
|
2005-04-17 05:20:36 +07:00
|
|
|
/*
|
|
|
|
* There is another walk state, restart it.
|
|
|
|
* If the method return value is not used by the parent,
|
|
|
|
* The object is deleted
|
|
|
|
*/
|
|
|
|
if (!previous_walk_state->return_desc) {
|
2008-04-10 22:06:42 +07:00
|
|
|
/*
|
|
|
|
* In slack mode execution, if there is no return value
|
|
|
|
* we should implicitly return zero (0) as a default value.
|
|
|
|
*/
|
|
|
|
if (acpi_gbl_enable_interpreter_slack &&
|
|
|
|
!previous_walk_state->
|
|
|
|
implicit_return_obj) {
|
|
|
|
previous_walk_state->
|
|
|
|
implicit_return_obj =
|
2009-11-12 08:52:45 +07:00
|
|
|
acpi_ut_create_integer_object
|
|
|
|
((u64) 0);
|
2008-04-10 22:06:42 +07:00
|
|
|
if (!previous_walk_state->
|
|
|
|
implicit_return_obj) {
|
|
|
|
return_ACPI_STATUS
|
|
|
|
(AE_NO_MEMORY);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Restart the calling control method */
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
status =
|
|
|
|
acpi_ds_restart_control_method
|
|
|
|
(walk_state,
|
|
|
|
previous_walk_state->
|
|
|
|
implicit_return_obj);
|
|
|
|
} else {
|
2005-04-17 05:20:36 +07:00
|
|
|
/*
|
|
|
|
* We have a valid return value, delete any implicit
|
|
|
|
* return value.
|
|
|
|
*/
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_ds_clear_implicit_return
|
|
|
|
(previous_walk_state);
|
2005-04-17 05:20:36 +07:00
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
status =
|
|
|
|
acpi_ds_restart_control_method
|
|
|
|
(walk_state,
|
|
|
|
previous_walk_state->return_desc);
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
2005-08-05 11:44:28 +07:00
|
|
|
if (ACPI_SUCCESS(status)) {
|
|
|
|
walk_state->walk_type |=
|
|
|
|
ACPI_WALK_METHOD_RESTART;
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
2005-08-05 11:44:28 +07:00
|
|
|
} else {
|
2008-09-27 10:50:24 +07:00
|
|
|
/* On error, delete any return object or implicit return */
|
2005-04-17 05:20:36 +07:00
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_ut_remove_reference(previous_walk_state->
|
|
|
|
return_desc);
|
2008-09-27 10:50:24 +07:00
|
|
|
acpi_ds_clear_implicit_return
|
|
|
|
(previous_walk_state);
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Just completed a 1st-level method, save the final internal return
|
|
|
|
* value (if any)
|
|
|
|
*/
|
|
|
|
else if (previous_walk_state->caller_return_desc) {
|
|
|
|
if (previous_walk_state->implicit_return_obj) {
|
2005-04-19 09:49:35 +07:00
|
|
|
*(previous_walk_state->caller_return_desc) =
|
2005-08-05 11:44:28 +07:00
|
|
|
previous_walk_state->implicit_return_obj;
|
|
|
|
} else {
|
|
|
|
/* NULL if no return value */
|
2005-04-17 05:20:36 +07:00
|
|
|
|
2005-04-19 09:49:35 +07:00
|
|
|
*(previous_walk_state->caller_return_desc) =
|
2005-08-05 11:44:28 +07:00
|
|
|
previous_walk_state->return_desc;
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
2005-08-05 11:44:28 +07:00
|
|
|
} else {
|
2005-04-17 05:20:36 +07:00
|
|
|
if (previous_walk_state->return_desc) {
|
2006-10-02 11:00:00 +07:00
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
/* Caller doesn't want it, must delete it */
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_ut_remove_reference(previous_walk_state->
|
|
|
|
return_desc);
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
if (previous_walk_state->implicit_return_obj) {
|
2006-10-02 11:00:00 +07:00
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
/* Caller doesn't want it, must delete it */
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_ut_remove_reference(previous_walk_state->
|
|
|
|
implicit_return_obj);
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_ds_delete_walk_state(previous_walk_state);
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Normal exit */
|
|
|
|
|
2005-08-05 11:44:28 +07:00
|
|
|
acpi_ex_release_all_mutexes(thread);
|
|
|
|
acpi_ut_delete_generic_state(ACPI_CAST_PTR
|
|
|
|
(union acpi_generic_state, thread));
|
2005-04-17 05:20:36 +07:00
|
|
|
acpi_gbl_current_walk_list = prev_walk_list;
|
2005-08-05 11:44:28 +07:00
|
|
|
return_ACPI_STATUS(status);
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|