1 /******************************************************************************
3 * Module Name: aslload - compiler namespace load callbacks
5 *****************************************************************************/
7 /******************************************************************************
11 * Some or all of this work - Copyright (c) 1999 - 2020, Intel Corp.
12 * All rights reserved.
16 * 2.1. This is your license from Intel Corp. under its intellectual property
17 * rights. You may have additional license terms from the party that provided
18 * you this software, covering your right to use that party's intellectual
21 * 2.2. Intel grants, free of charge, to any person ("Licensee") obtaining a
22 * copy of the source code appearing in this file ("Covered Code") an
23 * irrevocable, perpetual, worldwide license under Intel's copyrights in the
24 * base code distributed originally by Intel ("Original Intel Code") to copy,
25 * make derivatives, distribute, use and display any portion of the Covered
26 * Code in any form, with the right to sublicense such rights; and
28 * 2.3. Intel grants Licensee a non-exclusive and non-transferable patent
29 * license (with the right to sublicense), under only those claims of Intel
30 * patents that are infringed by the Original Intel Code, to make, use, sell,
31 * offer to sell, and import the Covered Code and derivative works thereof
32 * solely to the minimum extent necessary to exercise the above copyright
33 * license, and in no event shall the patent license extend to any additions
34 * to or modifications of the Original Intel Code. No other license or right
35 * is granted directly or by implication, estoppel or otherwise;
37 * The above copyright and patent license is granted only if the following
42 * 3.1. Redistribution of Source with Rights to Further Distribute Source.
43 * Redistribution of source code of any substantial portion of the Covered
44 * Code or modification with rights to further distribute source must include
45 * the above Copyright Notice, the above License, this list of Conditions,
46 * and the following Disclaimer and Export Compliance provision. In addition,
47 * Licensee must cause all Covered Code to which Licensee contributes to
48 * contain a file documenting the changes Licensee made to create that Covered
49 * Code and the date of any change. Licensee must include in that file the
50 * documentation of any changes made by any predecessor Licensee. Licensee
51 * must include a prominent statement that the modification is derived,
52 * directly or indirectly, from Original Intel Code.
54 * 3.2. Redistribution of Source with no Rights to Further Distribute Source.
55 * Redistribution of source code of any substantial portion of the Covered
56 * Code or modification without rights to further distribute source must
57 * include the following Disclaimer and Export Compliance provision in the
58 * documentation and/or other materials provided with distribution. In
59 * addition, Licensee may not authorize further sublicense of source of any
60 * portion of the Covered Code, and must include terms to the effect that the
61 * license from Licensee to its licensee is limited to the intellectual
62 * property embodied in the software Licensee provides to its licensee, and
63 * not to intellectual property embodied in modifications its licensee may
66 * 3.3. Redistribution of Executable. Redistribution in executable form of any
67 * substantial portion of the Covered Code or modification must reproduce the
68 * above Copyright Notice, and the following Disclaimer and Export Compliance
69 * provision in the documentation and/or other materials provided with the
72 * 3.4. Intel retains all right, title, and interest in and to the Original
75 * 3.5. Neither the name Intel nor any other trademark owned or controlled by
76 * Intel shall be used in advertising or otherwise to promote the sale, use or
77 * other dealings in products derived from or relating to the Covered Code
78 * without prior written authorization from Intel.
80 * 4. Disclaimer and Export Compliance
82 * 4.1. INTEL MAKES NO WARRANTY OF ANY KIND REGARDING ANY SOFTWARE PROVIDED
83 * HERE. ANY SOFTWARE ORIGINATING FROM INTEL OR DERIVED FROM INTEL SOFTWARE
84 * IS PROVIDED "AS IS," AND INTEL WILL NOT PROVIDE ANY SUPPORT, ASSISTANCE,
85 * INSTALLATION, TRAINING OR OTHER SERVICES. INTEL WILL NOT PROVIDE ANY
86 * UPDATES, ENHANCEMENTS OR EXTENSIONS. INTEL SPECIFICALLY DISCLAIMS ANY
87 * IMPLIED WARRANTIES OF MERCHANTABILITY, NONINFRINGEMENT AND FITNESS FOR A
90 * 4.2. IN NO EVENT SHALL INTEL HAVE ANY LIABILITY TO LICENSEE, ITS LICENSEES
91 * OR ANY OTHER THIRD PARTY, FOR ANY LOST PROFITS, LOST DATA, LOSS OF USE OR
92 * COSTS OF PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES, OR FOR ANY INDIRECT,
93 * SPECIAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THIS AGREEMENT, UNDER ANY
94 * CAUSE OF ACTION OR THEORY OF LIABILITY, AND IRRESPECTIVE OF WHETHER INTEL
95 * HAS ADVANCE NOTICE OF THE POSSIBILITY OF SUCH DAMAGES. THESE LIMITATIONS
96 * SHALL APPLY NOTWITHSTANDING THE FAILURE OF THE ESSENTIAL PURPOSE OF ANY
99 * 4.3. Licensee shall not export, either directly or indirectly, any of this
100 * software or system incorporating such software without first obtaining any
101 * required license or other approval from the U. S. Department of Commerce or
102 * any other agency or department of the United States Government. In the
103 * event Licensee exports any such software from the United States or
104 * re-exports any such software from a foreign destination, Licensee shall
105 * ensure that the distribution and export/re-export of the software is in
106 * compliance with all laws, regulations, orders, or other restrictions of the
107 * U.S. Export Administration Regulations. Licensee agrees that neither it nor
108 * any of its subsidiaries will export/re-export any technical data, process,
109 * software, or service, directly or indirectly, to any country for which the
110 * United States government or any agency thereof requires an export license,
111 * other governmental approval, or letter of assurance, without first obtaining
112 * such license, approval or letter.
114 *****************************************************************************
116 * Alternatively, you may choose to be licensed under the terms of the
119 * Redistribution and use in source and binary forms, with or without
120 * modification, are permitted provided that the following conditions
122 * 1. Redistributions of source code must retain the above copyright
123 * notice, this list of conditions, and the following disclaimer,
124 * without modification.
125 * 2. Redistributions in binary form must reproduce at minimum a disclaimer
126 * substantially similar to the "NO WARRANTY" disclaimer below
127 * ("Disclaimer") and any redistribution must be conditioned upon
128 * including a substantially similar Disclaimer requirement for further
129 * binary redistribution.
130 * 3. Neither the names of the above-listed copyright holders nor the names
131 * of any contributors may be used to endorse or promote products derived
132 * from this software without specific prior written permission.
134 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
135 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
136 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
137 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
138 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
139 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
140 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
141 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
142 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
143 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
144 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
146 * Alternatively, you may choose to be licensed under the terms of the
147 * GNU General Public License ("GPL") version 2 as published by the Free
148 * Software Foundation.
150 *****************************************************************************/
152 #include <contrib/dev/acpica/compiler/aslcompiler.h>
153 #include <contrib/dev/acpica/include/amlcode.h>
154 #include <contrib/dev/acpica/include/acdispat.h>
155 #include <contrib/dev/acpica/include/acnamesp.h>
156 #include <contrib/dev/acpica/include/acparser.h>
157 #include "aslcompiler.y.h"
160 #define _COMPONENT ACPI_COMPILER
161 ACPI_MODULE_NAME ("aslload")
163 /* Local prototypes */
166 LdLoadFieldElements (
168 ACPI_PARSE_OBJECT *Op,
169 ACPI_WALK_STATE *WalkState);
172 LdLoadResourceElements (
173 ACPI_PARSE_OBJECT *Op,
174 ACPI_WALK_STATE *WalkState);
178 ACPI_PARSE_OBJECT *Op,
184 ACPI_PARSE_OBJECT *Op,
189 LdCommonNamespaceEnd (
190 ACPI_PARSE_OBJECT *Op,
195 LdCheckSpecialNames (
196 ACPI_NAMESPACE_NODE *Node,
197 ACPI_PARSE_OBJECT *Op);
201 ACPI_NAMESPACE_NODE *Node,
202 ACPI_PARSE_OBJECT *Op,
203 ACPI_OBJECT_TYPE ExternalOpType,
204 ACPI_WALK_STATE *WalkState);
207 /*******************************************************************************
209 * FUNCTION: LdLoadNamespace
211 * PARAMETERS: RootOp - Root of the parse tree
215 * DESCRIPTION: Perform a walk of the parse tree that in turn loads all of the
216 * named ASL/AML objects into the namespace. The namespace is
217 * constructed in order to resolve named references and references
218 * to named fields within resource templates/descriptors.
220 ******************************************************************************/
224 ACPI_PARSE_OBJECT *RootOp)
226 ACPI_WALK_STATE *WalkState;
229 /* Create a new walk state */
231 WalkState = AcpiDsCreateWalkState (0, NULL, NULL, NULL);
234 return (AE_NO_MEMORY);
237 /* Walk the entire parse tree, first pass */
239 TrWalkParseTree (RootOp, ASL_WALK_VISIT_TWICE, LdNamespace1Begin,
240 LdCommonNamespaceEnd, WalkState);
242 /* Second pass to handle forward references */
244 TrWalkParseTree (RootOp, ASL_WALK_VISIT_TWICE, LdNamespace2Begin,
245 LdCommonNamespaceEnd, WalkState);
247 /* Dump the namespace if debug is enabled */
249 if (AcpiDbgLevel & ACPI_LV_TABLES)
251 AcpiNsDumpTables (ACPI_NS_ALL, ACPI_UINT32_MAX);
254 ACPI_FREE (WalkState);
259 /*******************************************************************************
261 * FUNCTION: LdLoadFieldElements
263 * PARAMETERS: AmlType - Type to search
264 * Op - Parent node (Field)
265 * WalkState - Current walk state
269 * DESCRIPTION: Enter the named elements of the field (children of the parent)
270 * into the namespace.
272 ******************************************************************************/
275 LdLoadFieldElements (
277 ACPI_PARSE_OBJECT *Op,
278 ACPI_WALK_STATE *WalkState)
280 ACPI_PARSE_OBJECT *Child = NULL;
281 ACPI_PARSE_OBJECT *SourceRegion;
282 ACPI_NAMESPACE_NODE *Node;
287 SourceRegion = UtGetArg (Op, 0);
290 Status = AcpiNsLookup (WalkState->ScopeInfo,
291 SourceRegion->Asl.Value.String, AmlType, ACPI_IMODE_EXECUTE,
292 ACPI_NS_SEARCH_PARENT | ACPI_NS_DONT_OPEN_SCOPE, NULL, &Node);
293 if (Status == AE_NOT_FOUND)
296 * If the named object is not found, it means that it is either a
297 * forward reference or the named object does not exist.
299 SourceRegion->Asl.CompileFlags |= OP_NOT_FOUND_DURING_LOAD;
303 /* Get the first named field element */
305 switch (Op->Asl.AmlOpcode)
307 case AML_BANK_FIELD_OP:
309 Child = UtGetArg (Op, 6);
312 case AML_INDEX_FIELD_OP:
314 Child = UtGetArg (Op, 5);
319 Child = UtGetArg (Op, 4);
324 /* No other opcodes should arrive here */
326 return (AE_BAD_PARAMETER);
329 /* Enter all elements into the namespace */
333 switch (Child->Asl.AmlOpcode)
335 case AML_INT_RESERVEDFIELD_OP:
336 case AML_INT_ACCESSFIELD_OP:
337 case AML_INT_CONNECTION_OP:
342 Status = AcpiNsLookup (WalkState->ScopeInfo,
343 Child->Asl.Value.String,
344 ACPI_TYPE_LOCAL_REGION_FIELD,
345 ACPI_IMODE_LOAD_PASS1,
346 ACPI_NS_NO_UPSEARCH | ACPI_NS_DONT_OPEN_SCOPE |
347 ACPI_NS_ERROR_IF_FOUND, NULL, &Node);
348 if (ACPI_FAILURE (Status))
350 if (Status != AE_ALREADY_EXISTS)
352 AslError (ASL_ERROR, ASL_MSG_CORE_EXCEPTION, Child,
353 Child->Asl.Value.String);
356 else if (Status == AE_ALREADY_EXISTS &&
357 (Node->Flags & ANOBJ_IS_EXTERNAL))
359 Node->Type = (UINT8) ACPI_TYPE_LOCAL_REGION_FIELD;
360 Node->Flags &= ~ANOBJ_IS_EXTERNAL;
365 * The name already exists in this scope
366 * But continue processing the elements
368 ExternalPath = AcpiNsGetNormalizedPathname (Node, TRUE);
370 AslDualParseOpError (ASL_ERROR, ASL_MSG_NAME_EXISTS, Child,
371 ExternalPath, ASL_MSG_FOUND_HERE, Node->Op,
376 ACPI_FREE (ExternalPath);
382 Child->Asl.Node = Node;
388 Child = Child->Asl.Next;
395 /*******************************************************************************
397 * FUNCTION: LdLoadResourceElements
399 * PARAMETERS: Op - Parent node (Resource Descriptor)
400 * WalkState - Current walk state
404 * DESCRIPTION: Enter the named elements of the resource descriptor (children
405 * of the parent) into the namespace.
407 * NOTE: In the real AML namespace, these named elements never exist. But
408 * we simply use the namespace here as a symbol table so we can look
409 * them up as they are referenced.
411 ******************************************************************************/
414 LdLoadResourceElements (
415 ACPI_PARSE_OBJECT *Op,
416 ACPI_WALK_STATE *WalkState)
418 ACPI_PARSE_OBJECT *InitializerOp = NULL;
419 ACPI_NAMESPACE_NODE *Node;
425 * Enter the resource name into the namespace. Name must not already exist.
426 * This opens a scope, so later field names are guaranteed to be new/unique.
428 Status = AcpiNsLookup (WalkState->ScopeInfo, Op->Asl.Namepath,
429 ACPI_TYPE_LOCAL_RESOURCE, ACPI_IMODE_LOAD_PASS1,
430 ACPI_NS_NO_UPSEARCH | ACPI_NS_ERROR_IF_FOUND,
432 if (ACPI_FAILURE (Status))
434 if (Status == AE_ALREADY_EXISTS)
436 /* Actual node causing the error was saved in ParentMethod */
438 ExternalPath = AcpiNsGetNormalizedPathname (Node, TRUE);
440 AslDualParseOpError (ASL_ERROR, ASL_MSG_NAME_EXISTS,
441 (ACPI_PARSE_OBJECT *) Op->Asl.ParentMethod,
442 ExternalPath, ASL_MSG_FOUND_HERE, Node->Op,
447 ACPI_FREE (ExternalPath);
454 Node->Value = (UINT32) Op->Asl.Value.Integer;
459 * Now enter the predefined fields, for easy lookup when referenced
462 InitializerOp = ASL_GET_CHILD_NODE (Op);
463 while (InitializerOp)
465 if (InitializerOp->Asl.ExternalName)
467 Status = AcpiNsLookup (WalkState->ScopeInfo,
468 InitializerOp->Asl.ExternalName,
469 ACPI_TYPE_LOCAL_RESOURCE_FIELD, ACPI_IMODE_LOAD_PASS1,
470 ACPI_NS_NO_UPSEARCH | ACPI_NS_DONT_OPEN_SCOPE, NULL, &Node);
471 if (ACPI_FAILURE (Status))
477 * Store the field offset and length in the namespace node
478 * so it can be used when the field is referenced
480 Node->Value = InitializerOp->Asl.Value.Tag.BitOffset;
481 Node->Length = InitializerOp->Asl.Value.Tag.BitLength;
482 InitializerOp->Asl.Node = Node;
483 Node->Op = InitializerOp;
486 InitializerOp = ASL_GET_PEER_NODE (InitializerOp);
493 /*******************************************************************************
495 * FUNCTION: LdNamespace1Begin
497 * PARAMETERS: ASL_WALK_CALLBACK
501 * DESCRIPTION: Descending callback used during the parse tree walk. If this
502 * is a named AML opcode, enter into the namespace
504 ******************************************************************************/
508 ACPI_PARSE_OBJECT *Op,
512 ACPI_WALK_STATE *WalkState = (ACPI_WALK_STATE *) Context;
513 ACPI_NAMESPACE_NODE *Node;
514 ACPI_PARSE_OBJECT *MethodOp;
516 ACPI_OBJECT_TYPE ObjectType;
518 UINT32 Flags = ACPI_NS_NO_UPSEARCH;
519 ACPI_PARSE_OBJECT *Arg;
521 BOOLEAN ForceNewScope = FALSE;
522 const ACPI_OPCODE_INFO *OpInfo;
523 ACPI_PARSE_OBJECT *ParentOp;
527 ACPI_FUNCTION_NAME (LdNamespace1Begin);
530 ACPI_DEBUG_PRINT ((ACPI_DB_DISPATCH, "Op %p [%s]\n",
531 Op, Op->Asl.ParseOpName));
534 * We are only interested in opcodes that have an associated name
535 * (or multiple names)
537 switch (Op->Asl.AmlOpcode)
539 case AML_INDEX_FIELD_OP:
541 Status = LdLoadFieldElements (ACPI_TYPE_LOCAL_REGION_FIELD, Op, WalkState);
544 case AML_BANK_FIELD_OP:
547 Status = LdLoadFieldElements (ACPI_TYPE_REGION, Op, WalkState);
550 case AML_INT_CONNECTION_OP:
552 if (Op->Asl.Child->Asl.AmlOpcode != AML_INT_NAMEPATH_OP)
558 Status = AcpiNsLookup (WalkState->ScopeInfo, Arg->Asl.ExternalName,
559 ACPI_TYPE_ANY, ACPI_IMODE_EXECUTE, ACPI_NS_SEARCH_PARENT,
561 if (ACPI_FAILURE (Status))
570 /* All other opcodes go below */
575 /* Check if this object has already been installed in the namespace */
582 /* Check for a possible illegal forward reference */
584 if ((Op->Asl.ParseOpcode == PARSEOP_NAMESEG) ||
585 (Op->Asl.ParseOpcode == PARSEOP_NAMESTRING) ||
586 (Op->Asl.ParseOpcode == PARSEOP_METHODCALL))
589 * Op->Asl.Namepath will be NULL for these opcodes.
590 * These opcodes are guaranteed to have a parent.
591 * Examine the parent opcode.
593 ParentOp = Op->Asl.Parent;
594 OpInfo = AcpiPsGetOpcodeInfo (ParentOp->Asl.AmlOpcode);
597 * Exclude all operators that actually declare a new name:
598 * Name (ABCD, 1) -> Ignore (AML_CLASS_NAMED_OBJECT)
599 * We only want references to named objects:
600 * Store (2, WXYZ) -> Attempt to resolve the name
602 if ((Op->Asl.ParseOpcode != PARSEOP_METHODCALL) &&
603 (OpInfo->Class == AML_CLASS_NAMED_OBJECT))
609 * Check if the referenced object exists at this point during
611 * 1) If it exists, then this cannot be a forward reference.
612 * 2) If it does not exist, it could be a forward reference or
613 * it truly does not exist (and no external declaration).
615 Status = AcpiNsLookup (WalkState->ScopeInfo,
616 Op->Asl.Value.Name, ACPI_TYPE_ANY, ACPI_IMODE_EXECUTE,
617 ACPI_NS_SEARCH_PARENT | ACPI_NS_DONT_OPEN_SCOPE,
619 if (Status == AE_NOT_FOUND)
622 * This is either a forward reference or the object truly
623 * does not exist. The two cases can only be differentiated
624 * during the cross-reference stage later. Mark the Op/Name
625 * as not-found for now to indicate the need for further
628 * Special case: Allow forward references from elements of
629 * Package objects. This provides compatibility with other
630 * ACPI implementations. To correctly implement this, the
631 * ACPICA table load defers package resolution until the entire
632 * namespace has been loaded.
634 if ((ParentOp->Asl.ParseOpcode != PARSEOP_PACKAGE) &&
635 (ParentOp->Asl.ParseOpcode != PARSEOP_VAR_PACKAGE))
637 Op->Asl.CompileFlags |= OP_NOT_FOUND_DURING_LOAD;
646 Path = Op->Asl.Namepath;
652 /* Map the raw opcode into an internal object type */
654 switch (Op->Asl.ParseOpcode)
658 Arg = Op->Asl.Child; /* Get the NameSeg/NameString node */
659 Arg = Arg->Asl.Next; /* First peer is the object to be associated with the name */
662 * If this name refers to a ResourceTemplate, we will need to open
663 * a new scope so that the resource subfield names can be entered into
664 * the namespace underneath this name
666 if (Op->Asl.CompileFlags & OP_IS_RESOURCE_DESC)
668 ForceNewScope = TRUE;
671 /* Get the data type associated with the named object, not the name itself */
673 /* Log2 loop to convert from Btype (binary) to Etype (encoded) */
676 for (i = 1; i < Arg->Asl.AcpiBtype; i *= 2)
682 case PARSEOP_EXTERNAL:
684 * "External" simply enters a name and type into the namespace.
685 * We must be careful to not open a new scope, however, no matter
686 * what type the external name refers to (e.g., a method)
688 * first child is name, next child is ObjectType
690 ObjectType = (UINT8) Op->Asl.Child->Asl.Next->Asl.Value.Integer;
693 * We will mark every new node along the path as "External". This
694 * allows some or all of the nodes to be created later in the ASL
695 * code. Handles cases like this:
697 * External (\_SB_.PCI0.ABCD, IntObj)
706 * Store (\_SB_.PCI0.ABCD, Local0)
709 Flags |= ACPI_NS_EXTERNAL | ACPI_NS_DONT_OPEN_SCOPE;
712 case PARSEOP_DEFAULT_ARG:
714 if (Op->Asl.CompileFlags == OP_IS_RESOURCE_DESC)
716 Status = LdLoadResourceElements (Op, WalkState);
717 return_ACPI_STATUS (Status);
720 ObjectType = AslMapNamedOpcodeToDataType (Op->Asl.AmlOpcode);
725 * The name referenced by Scope(Name) must already exist at this point.
726 * In other words, forward references for Scope() are not supported.
727 * The only real reason for this is that the MS interpreter cannot
728 * handle this case. Perhaps someday this case can go away.
730 Status = AcpiNsLookup (WalkState->ScopeInfo, Path, ACPI_TYPE_ANY,
731 ACPI_IMODE_EXECUTE, ACPI_NS_SEARCH_PARENT, WalkState, &Node);
732 if (ACPI_FAILURE (Status))
734 if (Status == AE_NOT_FOUND)
736 /* The name was not found, go ahead and create it */
738 Status = AcpiNsLookup (WalkState->ScopeInfo, Path,
739 ACPI_TYPE_LOCAL_SCOPE, ACPI_IMODE_LOAD_PASS1,
740 Flags, WalkState, &Node);
741 if (ACPI_FAILURE (Status))
743 return_ACPI_STATUS (Status);
746 /* However, this is an error -- operand to Scope must exist */
748 if (strlen (Op->Asl.ExternalName) == ACPI_NAMESEG_SIZE)
750 AslError (ASL_ERROR, ASL_MSG_NOT_FOUND, Op,
751 Op->Asl.ExternalName);
755 AslError (ASL_ERROR, ASL_MSG_NAMEPATH_NOT_EXIST, Op,
756 Op->Asl.ExternalName);
762 AslCoreSubsystemError (Op, Status,
763 "Failure from namespace lookup", FALSE);
765 return_ACPI_STATUS (Status);
767 else /* Status AE_OK */
770 * Do not allow references to external scopes from the DSDT.
771 * This is because the DSDT is always loaded first, and the
772 * external reference cannot be resolved -- causing a runtime
773 * error because Scope() must be resolved immediately.
776 if ((Node->Flags & ANOBJ_IS_EXTERNAL) &&
777 (ACPI_COMPARE_NAMESEG (AslGbl_TableSignature, "DSDT")))
779 /* However, allowed if the reference is within a method */
781 MethodOp = Op->Asl.Parent;
783 (MethodOp->Asl.ParseOpcode != PARSEOP_METHOD))
785 MethodOp = MethodOp->Asl.Parent;
790 /* Not in a control method, error */
792 AslError (ASL_ERROR, ASL_MSG_CROSS_TABLE_SCOPE, Op, NULL);
797 /* We found a node with this name, now check the type */
801 case ACPI_TYPE_LOCAL_SCOPE:
802 case ACPI_TYPE_DEVICE:
803 case ACPI_TYPE_POWER:
804 case ACPI_TYPE_PROCESSOR:
805 case ACPI_TYPE_THERMAL:
807 /* These are acceptable types - they all open a new scope */
810 case ACPI_TYPE_INTEGER:
811 case ACPI_TYPE_STRING:
812 case ACPI_TYPE_BUFFER:
814 * These types we will allow, but we will change the type.
815 * This enables some existing code of the form:
818 * Scope (DEB) { ... }
820 * Which is used to workaround the fact that the MS interpreter
821 * does not allow Scope() forward references.
823 sprintf (AslGbl_MsgBuffer, "%s [%s], changing type to [Scope]",
824 Op->Asl.ExternalName, AcpiUtGetTypeName (Node->Type));
825 AslError (ASL_REMARK, ASL_MSG_SCOPE_TYPE, Op, AslGbl_MsgBuffer);
827 /* Switch the type to scope, open the new scope */
829 Node->Type = ACPI_TYPE_LOCAL_SCOPE;
830 Status = AcpiDsScopeStackPush (Node, ACPI_TYPE_LOCAL_SCOPE,
832 if (ACPI_FAILURE (Status))
834 return_ACPI_STATUS (Status);
840 /* All other types are an error */
842 sprintf (AslGbl_MsgBuffer, "%s [%s]", Op->Asl.ExternalName,
843 AcpiUtGetTypeName (Node->Type));
844 AslError (ASL_ERROR, ASL_MSG_SCOPE_TYPE, Op, AslGbl_MsgBuffer);
847 * However, switch the type to be an actual scope so
848 * that compilation can continue without generating a whole
849 * cascade of additional errors. Open the new scope.
851 Node->Type = ACPI_TYPE_LOCAL_SCOPE;
852 Status = AcpiDsScopeStackPush (Node, ACPI_TYPE_LOCAL_SCOPE,
854 if (ACPI_FAILURE (Status))
856 return_ACPI_STATUS (Status);
866 ObjectType = AslMapNamedOpcodeToDataType (Op->Asl.AmlOpcode);
870 ACPI_DEBUG_PRINT ((ACPI_DB_DISPATCH, "Loading name: %s, (%s)\n",
871 Op->Asl.ExternalName, AcpiUtGetTypeName (ObjectType)));
873 /* The name must not already exist */
875 Flags |= ACPI_NS_ERROR_IF_FOUND;
878 * For opcodes that enter new names into the namespace,
879 * all prefix NameSegs must exist.
881 WalkState->OpInfo = AcpiPsGetOpcodeInfo (Op->Asl.AmlOpcode);
882 if (((WalkState->OpInfo->Flags & AML_NAMED) ||
883 (WalkState->OpInfo->Flags & AML_CREATE)) &&
884 (Op->Asl.AmlOpcode != AML_EXTERNAL_OP))
886 Flags |= ACPI_NS_PREFIX_MUST_EXIST;
890 * Enter the named type into the internal namespace. We enter the name
891 * as we go downward in the parse tree. Any necessary subobjects that
892 * involve arguments to the opcode must be created as we go back up the
895 Status = AcpiNsLookup (WalkState->ScopeInfo, Path, ObjectType,
896 ACPI_IMODE_LOAD_PASS1, Flags, WalkState, &Node);
897 if (ACPI_FAILURE (Status))
899 if (Status == AE_ALREADY_EXISTS)
901 /* The name already exists in this scope */
903 if (Node->Type == ACPI_TYPE_LOCAL_SCOPE)
905 /* Allow multiple references to the same scope */
907 Node->Type = (UINT8) ObjectType;
910 else if ((Node->Flags & ANOBJ_IS_EXTERNAL) ||
911 (Op->Asl.ParseOpcode == PARSEOP_EXTERNAL))
913 Status = LdAnalyzeExternals (Node, Op, ObjectType, WalkState);
914 if (ACPI_FAILURE (Status))
916 if (Status == AE_ERROR)
919 * The use of AE_ERROR here indicates that there was a
920 * compiler error emitted in LdAnalyzeExternals which
921 * means that the caller should proceed to the next Op
922 * for analysis of subsequent parse objects.
926 return_ACPI_STATUS (Status);
929 if (!(Node->Flags & ANOBJ_IS_EXTERNAL) &&
930 (Op->Asl.ParseOpcode == PARSEOP_EXTERNAL))
933 * If we get to here, it means that an actual definition of
934 * the object declared external exists. Meaning that Op
935 * loading this this Op should have no change to the ACPI
936 * namespace. By going to FinishNode, we skip the
937 * assignment of Node->Op = Op.
944 /* Valid error, object already exists */
946 ExternalPath = AcpiNsGetNormalizedPathname (Node, TRUE);
948 AslDualParseOpError (ASL_ERROR, ASL_MSG_NAME_EXISTS, Op,
949 ExternalPath, ASL_MSG_FOUND_HERE, Node->Op,
954 ACPI_FREE (ExternalPath);
956 return_ACPI_STATUS (AE_OK);
959 else if (AE_NOT_FOUND)
962 * One or more prefix NameSegs of the NamePath do not exist
963 * (all of them must exist). Attempt to continue compilation
964 * by setting the current scope to the root.
966 Node = AcpiGbl_RootNode;
971 /* Flag all other errors as coming from the ACPICA core */
973 AslCoreSubsystemError (Op, Status,
974 "Failure from namespace lookup", FALSE);
975 return_ACPI_STATUS (Status);
979 /* Check special names like _WAK and _PTS */
981 LdCheckSpecialNames (Node, Op);
985 Status = AcpiDsScopeStackPush (Node, ObjectType, WalkState);
986 if (ACPI_FAILURE (Status))
988 return_ACPI_STATUS (Status);
992 /* Point the Node back to the original Parse node */
998 /* Point the parse node to the new namespace node */
1000 Op->Asl.Node = Node;
1002 if (Op->Asl.ParseOpcode == PARSEOP_METHOD)
1005 * Get the method argument count from "Extra" and save
1006 * it in the namespace node
1008 Node->Value = (UINT32) Op->Asl.Extra;
1010 else if (Op->Asl.ParseOpcode == PARSEOP_EXTERNAL &&
1011 Node->Type == ACPI_TYPE_METHOD &&
1012 (Node->Flags & ANOBJ_IS_EXTERNAL))
1015 (UINT32) Op->Asl.Child->Asl.Next->Asl.Next->Asl.Value.Integer;
1018 return_ACPI_STATUS (Status);
1022 /*******************************************************************************
1024 * FUNCTION: LdMatchExternType
1031 * DESCRIPTION: Match Type1 and Type2 with the assumption that one might be
1032 * using external types and another might be using local types.
1033 * This should be used to compare the types found in external
1034 * declarations with types found in other external declarations or
1035 * named object declaration. This should not be used to match two
1036 * object type declarations.
1038 ******************************************************************************/
1042 ACPI_OBJECT_TYPE Type1,
1043 ACPI_OBJECT_TYPE Type2)
1045 BOOLEAN Type1IsLocal = Type1 > ACPI_TYPE_EXTERNAL_MAX;
1046 BOOLEAN Type2IsLocal = Type2 > ACPI_TYPE_EXTERNAL_MAX;
1047 ACPI_OBJECT_TYPE ExternalType;
1048 ACPI_OBJECT_TYPE LocalType;
1052 * The inputs could represent types that are local to ACPICA or types that
1053 * are known externally. Some local types, such as the OperationRegion
1054 * field units, are defined with more granularity than ACPICA local types.
1056 * Therefore, map the local types to the external types before matching.
1058 if (Type1IsLocal && !Type2IsLocal)
1061 ExternalType = Type2;
1063 else if (!Type1IsLocal && Type2IsLocal)
1066 ExternalType = Type1;
1070 return (Type1 == Type2);
1075 case ACPI_TYPE_LOCAL_REGION_FIELD:
1076 case ACPI_TYPE_LOCAL_BANK_FIELD:
1077 case ACPI_TYPE_LOCAL_INDEX_FIELD:
1079 LocalType = ACPI_TYPE_FIELD_UNIT;
1086 return (LocalType == ExternalType);
1090 /*******************************************************************************
1092 * FUNCTION: LdAnalyzeExternals
1094 * PARAMETERS: Node - Node that represents the named object
1095 * Op - Named object declaring this named object
1096 * ExternalOpType - Type of ExternalOp
1097 * WalkState - Current WalkState
1101 * DESCRIPTION: Node and Op represents an identically named object declaration
1102 * that is either declared by the ASL external keyword or declared
1103 * by operators that declare named objects (i.e. Name, Device,
1104 * OperationRegion, and etc.). This function ensures that the
1105 * declarations do not contradict each other.
1107 ******************************************************************************/
1110 LdAnalyzeExternals (
1111 ACPI_NAMESPACE_NODE *Node,
1112 ACPI_PARSE_OBJECT *Op,
1113 ACPI_OBJECT_TYPE ExternalOpType,
1114 ACPI_WALK_STATE *WalkState)
1116 ACPI_STATUS Status = AE_OK;
1117 ACPI_OBJECT_TYPE ActualExternalOpType;
1118 ACPI_OBJECT_TYPE ActualOpType;
1119 ACPI_PARSE_OBJECT *ExternalOp;
1120 ACPI_PARSE_OBJECT *ActualOp;
1124 * The declaration represented by Node and Op must have the same type.
1125 * The type of the external Op is represented by ExternalOpType. However,
1126 * the type of the pre-existing declaration depends on whether if Op
1127 * is an external declaration or an actual declaration.
1129 if (Op->Asl.ParseOpcode == PARSEOP_EXTERNAL)
1131 ActualExternalOpType = ExternalOpType;
1132 ActualOpType = Node->Type;
1136 ActualExternalOpType = Node->Type;
1137 ActualOpType = ExternalOpType;
1140 if ((ActualOpType != ACPI_TYPE_ANY) &&
1141 (ActualExternalOpType != ACPI_TYPE_ANY) &&
1142 !LdMatchExternType (ActualExternalOpType, ActualOpType))
1144 if (Op->Asl.ParseOpcode == PARSEOP_EXTERNAL &&
1145 Node->Op->Asl.ParseOpcode == PARSEOP_EXTERNAL)
1147 AslDualParseOpError (ASL_WARNING,
1148 ASL_MSG_DUPLICATE_EXTERN_MISMATCH, Op, NULL,
1149 ASL_MSG_DUPLICATE_EXTERN_FOUND_HERE, Node->Op, NULL);
1153 if (Op->Asl.ParseOpcode == PARSEOP_EXTERNAL &&
1154 Node->Op->Asl.ParseOpcode != PARSEOP_EXTERNAL)
1157 ActualOp = Node->Op;
1161 ExternalOp = Node->Op;
1164 AslDualParseOpError (ASL_WARNING,
1165 ASL_MSG_DECLARATION_TYPE_MISMATCH, ExternalOp, NULL,
1166 ASL_MSG_TYPE_MISMATCH_FOUND_HERE, ActualOp, NULL);
1170 /* Set the object type of the external */
1172 if ((Node->Flags & ANOBJ_IS_EXTERNAL) &&
1173 (Op->Asl.ParseOpcode != PARSEOP_EXTERNAL))
1176 * Allow one create on an object or segment that was
1177 * previously declared External
1179 Node->Flags &= ~ANOBJ_IS_EXTERNAL;
1180 Node->Type = (UINT8) ActualOpType;
1182 /* Just retyped a node, probably will need to open a scope */
1184 if (AcpiNsOpensScope (ActualOpType))
1186 Status = AcpiDsScopeStackPush (Node, ActualOpType, WalkState);
1187 if (ACPI_FAILURE (Status))
1195 else if (!(Node->Flags & ANOBJ_IS_EXTERNAL) &&
1196 (Op->Asl.ParseOpcode == PARSEOP_EXTERNAL))
1199 * Allow externals in same scope as the definition of the
1200 * actual object. Similar to C. Allows multiple definition
1201 * blocks that refer to each other in the same file.
1205 else if ((Node->Flags & ANOBJ_IS_EXTERNAL) &&
1206 (Op->Asl.ParseOpcode == PARSEOP_EXTERNAL) &&
1207 (ActualOpType == ACPI_TYPE_ANY))
1209 /* Allow update of externals of unknown type. */
1211 Node->Type = (UINT8) ActualExternalOpType;
1219 /*******************************************************************************
1221 * FUNCTION: LdCheckSpecialNames
1223 * PARAMETERS: Node - Node that represents the named object
1224 * Op - Named object declaring this named object
1228 * DESCRIPTION: Check if certain named objects are declared in the incorrect
1229 * scope. Special named objects are listed in
1230 * AslGbl_SpecialNamedObjects and can only be declared at the root
1231 * scope. _UID inside of a processor declaration must not be a
1234 ******************************************************************************/
1237 LdCheckSpecialNames (
1238 ACPI_NAMESPACE_NODE *Node,
1239 ACPI_PARSE_OBJECT *Op)
1244 for (i = 0; i < MAX_SPECIAL_NAMES; i++)
1246 if (ACPI_COMPARE_NAMESEG(Node->Name.Ascii, AslGbl_SpecialNamedObjects[i]) &&
1247 Node->Parent != AcpiGbl_RootNode)
1249 AslError (ASL_ERROR, ASL_MSG_INVALID_SPECIAL_NAME, Op, Op->Asl.ExternalName);
1254 if (ACPI_COMPARE_NAMESEG (Node->Name.Ascii, "_UID") &&
1255 Node->Parent->Type == ACPI_TYPE_PROCESSOR &&
1256 Node->Type == ACPI_TYPE_STRING)
1258 AslError (ASL_ERROR, ASL_MSG_INVALID_PROCESSOR_UID , Op, "found a string");
1263 /*******************************************************************************
1265 * FUNCTION: LdNamespace2Begin
1267 * PARAMETERS: ASL_WALK_CALLBACK
1271 * DESCRIPTION: Descending callback used during the pass 2 parse tree walk.
1272 * Second pass resolves some forward references.
1275 * Currently only needs to handle the Alias operator.
1276 * Could be used to allow forward references from the Scope() operator, but
1277 * the MS interpreter does not allow this, so this compiler does not either.
1279 ******************************************************************************/
1283 ACPI_PARSE_OBJECT *Op,
1287 ACPI_WALK_STATE *WalkState = (ACPI_WALK_STATE *) Context;
1289 ACPI_NAMESPACE_NODE *Node;
1290 ACPI_OBJECT_TYPE ObjectType;
1291 BOOLEAN ForceNewScope = FALSE;
1292 ACPI_PARSE_OBJECT *Arg;
1294 ACPI_NAMESPACE_NODE *TargetNode;
1297 ACPI_FUNCTION_NAME (LdNamespace2Begin);
1298 ACPI_DEBUG_PRINT ((ACPI_DB_DISPATCH, "Op %p [%s]\n",
1299 Op, Op->Asl.ParseOpName));
1302 /* Ignore Ops with no namespace node */
1304 Node = Op->Asl.Node;
1310 /* Get the type to determine if we should push the scope */
1312 if ((Op->Asl.ParseOpcode == PARSEOP_DEFAULT_ARG) &&
1313 (Op->Asl.CompileFlags == OP_IS_RESOURCE_DESC))
1315 ObjectType = ACPI_TYPE_LOCAL_RESOURCE;
1319 ObjectType = AslMapNamedOpcodeToDataType (Op->Asl.AmlOpcode);
1322 /* Push scope for Resource Templates */
1324 if (Op->Asl.ParseOpcode == PARSEOP_NAME)
1326 if (Op->Asl.CompileFlags & OP_IS_RESOURCE_DESC)
1328 ForceNewScope = TRUE;
1332 /* Push the scope stack */
1334 if (ForceNewScope || AcpiNsOpensScope (ObjectType))
1336 Status = AcpiDsScopeStackPush (Node, ObjectType, WalkState);
1337 if (ACPI_FAILURE (Status))
1339 return_ACPI_STATUS (Status);
1343 if (Op->Asl.ParseOpcode == PARSEOP_ALIAS)
1346 * Complete the alias node by getting and saving the target node.
1347 * First child is the alias target
1349 Arg = Op->Asl.Child;
1351 /* Get the target pathname */
1353 Path = Arg->Asl.Namepath;
1356 Status = UtInternalizeName (Arg->Asl.ExternalName, &Path);
1357 if (ACPI_FAILURE (Status))
1363 /* Get the NS node associated with the target. It must exist. */
1365 Status = AcpiNsLookup (WalkState->ScopeInfo, Path, ACPI_TYPE_ANY,
1366 ACPI_IMODE_EXECUTE, ACPI_NS_SEARCH_PARENT | ACPI_NS_DONT_OPEN_SCOPE,
1367 WalkState, &TargetNode);
1368 if (ACPI_FAILURE (Status))
1370 if (Status == AE_NOT_FOUND)
1372 /* Standalone NameSeg vs. NamePath */
1374 if (strlen (Arg->Asl.ExternalName) == ACPI_NAMESEG_SIZE)
1376 AslError (ASL_ERROR, ASL_MSG_NOT_FOUND, Op,
1377 Arg->Asl.ExternalName);
1381 AslError (ASL_ERROR, ASL_MSG_NAMEPATH_NOT_EXIST, Op,
1382 Arg->Asl.ExternalName);
1387 * NOTE: Removed 10/2018 to enhance compiler error reporting. No
1391 * The name was not found, go ahead and create it.
1392 * This prevents more errors later.
1394 Status = AcpiNsLookup (WalkState->ScopeInfo, Path,
1395 ACPI_TYPE_ANY, ACPI_IMODE_LOAD_PASS1,
1396 ACPI_NS_NO_UPSEARCH, WalkState, &Node);
1399 /* Removed: return (AE_OK)*/
1402 AslCoreSubsystemError (Op, Status,
1403 "Failure from namespace lookup", FALSE);
1407 /* Save the target node within the alias node as well as type information */
1409 Node->Object = ACPI_CAST_PTR (ACPI_OPERAND_OBJECT, TargetNode);
1410 Node->Type = TargetNode->Type;
1411 if (Node->Type == ACPI_TYPE_METHOD)
1413 /* Save the parameter count for methods */
1415 Node->Value = TargetNode->Value;
1423 /*******************************************************************************
1425 * FUNCTION: LdCommonNamespaceEnd
1427 * PARAMETERS: ASL_WALK_CALLBACK
1431 * DESCRIPTION: Ascending callback used during the loading of the namespace,
1432 * We only need to worry about managing the scope stack here.
1434 ******************************************************************************/
1437 LdCommonNamespaceEnd (
1438 ACPI_PARSE_OBJECT *Op,
1442 ACPI_WALK_STATE *WalkState = (ACPI_WALK_STATE *) Context;
1443 ACPI_OBJECT_TYPE ObjectType;
1444 BOOLEAN ForceNewScope = FALSE;
1447 ACPI_FUNCTION_NAME (LdCommonNamespaceEnd);
1450 /* We are only interested in opcodes that have an associated name */
1452 if (!Op->Asl.Namepath)
1457 /* Get the type to determine if we should pop the scope */
1459 if ((Op->Asl.ParseOpcode == PARSEOP_DEFAULT_ARG) &&
1460 (Op->Asl.CompileFlags == OP_IS_RESOURCE_DESC))
1462 /* TBD: Merge into AcpiDsMapNamedOpcodeToDataType */
1464 ObjectType = ACPI_TYPE_LOCAL_RESOURCE;
1468 ObjectType = AslMapNamedOpcodeToDataType (Op->Asl.AmlOpcode);
1471 /* Pop scope that was pushed for Resource Templates */
1473 if (Op->Asl.ParseOpcode == PARSEOP_NAME)
1475 if (Op->Asl.CompileFlags & OP_IS_RESOURCE_DESC)
1477 ForceNewScope = TRUE;
1481 /* Pop the scope stack */
1483 if (ForceNewScope || AcpiNsOpensScope (ObjectType))
1485 ACPI_DEBUG_PRINT ((ACPI_DB_DISPATCH,
1486 "(%s): Popping scope for Op [%s] %p\n",
1487 AcpiUtGetTypeName (ObjectType), Op->Asl.ParseOpName, Op));
1489 (void) AcpiDsScopeStackPop (WalkState);