xref: /haiku/src/add-ons/kernel/bus_managers/acpi/acpica/components/parser/psloop.c (revision 97dfeb96704e5dbc5bec32ad7b21379d0125e031)
1 /******************************************************************************
2  *
3  * Module Name: psloop - Main AML parse loop
4  *
5  *****************************************************************************/
6 
7 /******************************************************************************
8  *
9  * 1. Copyright Notice
10  *
11  * Some or all of this work - Copyright (c) 1999 - 2016, Intel Corp.
12  * All rights reserved.
13  *
14  * 2. License
15  *
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
19  * property rights.
20  *
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
27  *
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;
36  *
37  * The above copyright and patent license is granted only if the following
38  * conditions are met:
39  *
40  * 3. Conditions
41  *
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.
53  *
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
64  * make.
65  *
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
70  * distribution.
71  *
72  * 3.4. Intel retains all right, title, and interest in and to the Original
73  * Intel Code.
74  *
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.
79  *
80  * 4. Disclaimer and Export Compliance
81  *
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
88  * PARTICULAR PURPOSE.
89  *
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
97  * LIMITED REMEDY.
98  *
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.
113  *
114  *****************************************************************************/
115 
116 /*
117  * Parse the AML and build an operation tree as most interpreters, (such as
118  * Perl) do. Parsing is done by hand rather than with a YACC generated parser
119  * to tightly constrain stack and dynamic memory usage. Parsing is kept
120  * flexible and the code fairly compact by parsing based on a list of AML
121  * opcode templates in AmlOpInfo[].
122  */
123 
124 #include "acpi.h"
125 #include "accommon.h"
126 #include "acinterp.h"
127 #include "acparser.h"
128 #include "acdispat.h"
129 #include "amlcode.h"
130 
131 #define _COMPONENT          ACPI_PARSER
132         ACPI_MODULE_NAME    ("psloop")
133 
134 
135 /* Local prototypes */
136 
137 static ACPI_STATUS
138 AcpiPsGetArguments (
139     ACPI_WALK_STATE         *WalkState,
140     UINT8                   *AmlOpStart,
141     ACPI_PARSE_OBJECT       *Op);
142 
143 static void
144 AcpiPsLinkModuleCode (
145     ACPI_PARSE_OBJECT       *ParentOp,
146     UINT8                   *AmlStart,
147     UINT32                  AmlLength,
148     ACPI_OWNER_ID           OwnerId);
149 
150 
151 /*******************************************************************************
152  *
153  * FUNCTION:    AcpiPsGetArguments
154  *
155  * PARAMETERS:  WalkState           - Current state
156  *              AmlOpStart          - Op start in AML
157  *              Op                  - Current Op
158  *
159  * RETURN:      Status
160  *
161  * DESCRIPTION: Get arguments for passed Op.
162  *
163  ******************************************************************************/
164 
165 static ACPI_STATUS
166 AcpiPsGetArguments (
167     ACPI_WALK_STATE         *WalkState,
168     UINT8                   *AmlOpStart,
169     ACPI_PARSE_OBJECT       *Op)
170 {
171     ACPI_STATUS             Status = AE_OK;
172     ACPI_PARSE_OBJECT       *Arg = NULL;
173     const ACPI_OPCODE_INFO  *OpInfo;
174 
175 
176     ACPI_FUNCTION_TRACE_PTR (PsGetArguments, WalkState);
177 
178 
179     switch (Op->Common.AmlOpcode)
180     {
181     case AML_BYTE_OP:       /* AML_BYTEDATA_ARG */
182     case AML_WORD_OP:       /* AML_WORDDATA_ARG */
183     case AML_DWORD_OP:      /* AML_DWORDATA_ARG */
184     case AML_QWORD_OP:      /* AML_QWORDATA_ARG */
185     case AML_STRING_OP:     /* AML_ASCIICHARLIST_ARG */
186 
187         /* Fill in constant or string argument directly */
188 
189         AcpiPsGetNextSimpleArg (&(WalkState->ParserState),
190             GET_CURRENT_ARG_TYPE (WalkState->ArgTypes), Op);
191         break;
192 
193     case AML_INT_NAMEPATH_OP:   /* AML_NAMESTRING_ARG */
194 
195         Status = AcpiPsGetNextNamepath (WalkState,
196             &(WalkState->ParserState), Op, ACPI_POSSIBLE_METHOD_CALL);
197         if (ACPI_FAILURE (Status))
198         {
199             return_ACPI_STATUS (Status);
200         }
201 
202         WalkState->ArgTypes = 0;
203         break;
204 
205     default:
206         /*
207          * Op is not a constant or string, append each argument to the Op
208          */
209         while (GET_CURRENT_ARG_TYPE (WalkState->ArgTypes) &&
210             !WalkState->ArgCount)
211         {
212             WalkState->Aml = WalkState->ParserState.Aml;
213 
214             Status = AcpiPsGetNextArg (WalkState, &(WalkState->ParserState),
215                 GET_CURRENT_ARG_TYPE (WalkState->ArgTypes), &Arg);
216             if (ACPI_FAILURE (Status))
217             {
218                 return_ACPI_STATUS (Status);
219             }
220 
221             if (Arg)
222             {
223                 AcpiPsAppendArg (Op, Arg);
224             }
225 
226             INCREMENT_ARG_LIST (WalkState->ArgTypes);
227         }
228 
229 
230         /*
231          * Handle executable code at "module-level". This refers to
232          * executable opcodes that appear outside of any control method.
233          */
234         if ((WalkState->PassNumber <= ACPI_IMODE_LOAD_PASS2) &&
235             ((WalkState->ParseFlags & ACPI_PARSE_DISASSEMBLE) == 0))
236         {
237             /*
238              * We want to skip If/Else/While constructs during Pass1 because we
239              * want to actually conditionally execute the code during Pass2.
240              *
241              * Except for disassembly, where we always want to walk the
242              * If/Else/While packages
243              */
244             switch (Op->Common.AmlOpcode)
245             {
246             case AML_IF_OP:
247             case AML_ELSE_OP:
248             case AML_WHILE_OP:
249                 /*
250                  * Currently supported module-level opcodes are:
251                  * IF/ELSE/WHILE. These appear to be the most common,
252                  * and easiest to support since they open an AML
253                  * package.
254                  */
255                 if (WalkState->PassNumber == ACPI_IMODE_LOAD_PASS1)
256                 {
257                     AcpiPsLinkModuleCode (Op->Common.Parent, AmlOpStart,
258                         (UINT32) (WalkState->ParserState.PkgEnd - AmlOpStart),
259                         WalkState->OwnerId);
260                 }
261 
262                 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
263                     "Pass1: Skipping an If/Else/While body\n"));
264 
265                 /* Skip body of if/else/while in pass 1 */
266 
267                 WalkState->ParserState.Aml = WalkState->ParserState.PkgEnd;
268                 WalkState->ArgCount = 0;
269                 break;
270 
271             default:
272                 /*
273                  * Check for an unsupported executable opcode at module
274                  * level. We must be in PASS1, the parent must be a SCOPE,
275                  * The opcode class must be EXECUTE, and the opcode must
276                  * not be an argument to another opcode.
277                  */
278                 if ((WalkState->PassNumber == ACPI_IMODE_LOAD_PASS1) &&
279                     (Op->Common.Parent->Common.AmlOpcode == AML_SCOPE_OP))
280                 {
281                     OpInfo = AcpiPsGetOpcodeInfo (Op->Common.AmlOpcode);
282                     if ((OpInfo->Class == AML_CLASS_EXECUTE) &&
283                         (!Arg))
284                     {
285                         ACPI_WARNING ((AE_INFO,
286                             "Unsupported module-level executable opcode "
287                             "0x%.2X at table offset 0x%.4X",
288                             Op->Common.AmlOpcode,
289                             (UINT32) (ACPI_PTR_DIFF (AmlOpStart,
290                                 WalkState->ParserState.AmlStart) +
291                                 sizeof (ACPI_TABLE_HEADER))));
292                     }
293                 }
294                 break;
295             }
296         }
297 
298         /* Special processing for certain opcodes */
299 
300         switch (Op->Common.AmlOpcode)
301         {
302         case AML_METHOD_OP:
303             /*
304              * Skip parsing of control method because we don't have enough
305              * info in the first pass to parse it correctly.
306              *
307              * Save the length and address of the body
308              */
309             Op->Named.Data = WalkState->ParserState.Aml;
310             Op->Named.Length = (UINT32)
311                 (WalkState->ParserState.PkgEnd - WalkState->ParserState.Aml);
312 
313             /* Skip body of method */
314 
315             WalkState->ParserState.Aml = WalkState->ParserState.PkgEnd;
316             WalkState->ArgCount = 0;
317             break;
318 
319         case AML_BUFFER_OP:
320         case AML_PACKAGE_OP:
321         case AML_VAR_PACKAGE_OP:
322 
323             if ((Op->Common.Parent) &&
324                 (Op->Common.Parent->Common.AmlOpcode == AML_NAME_OP) &&
325                 (WalkState->PassNumber <= ACPI_IMODE_LOAD_PASS2))
326             {
327                 /*
328                  * Skip parsing of Buffers and Packages because we don't have
329                  * enough info in the first pass to parse them correctly.
330                  */
331                 Op->Named.Data = AmlOpStart;
332                 Op->Named.Length = (UINT32)
333                     (WalkState->ParserState.PkgEnd - AmlOpStart);
334 
335                 /* Skip body */
336 
337                 WalkState->ParserState.Aml = WalkState->ParserState.PkgEnd;
338                 WalkState->ArgCount = 0;
339             }
340             break;
341 
342         case AML_WHILE_OP:
343 
344             if (WalkState->ControlState)
345             {
346                 WalkState->ControlState->Control.PackageEnd =
347                     WalkState->ParserState.PkgEnd;
348             }
349             break;
350 
351         default:
352 
353             /* No action for all other opcodes */
354 
355             break;
356         }
357 
358         break;
359     }
360 
361     return_ACPI_STATUS (AE_OK);
362 }
363 
364 
365 /*******************************************************************************
366  *
367  * FUNCTION:    AcpiPsLinkModuleCode
368  *
369  * PARAMETERS:  ParentOp            - Parent parser op
370  *              AmlStart            - Pointer to the AML
371  *              AmlLength           - Length of executable AML
372  *              OwnerId             - OwnerId of module level code
373  *
374  * RETURN:      None.
375  *
376  * DESCRIPTION: Wrap the module-level code with a method object and link the
377  *              object to the global list. Note, the mutex field of the method
378  *              object is used to link multiple module-level code objects.
379  *
380  ******************************************************************************/
381 
382 static void
383 AcpiPsLinkModuleCode (
384     ACPI_PARSE_OBJECT       *ParentOp,
385     UINT8                   *AmlStart,
386     UINT32                  AmlLength,
387     ACPI_OWNER_ID           OwnerId)
388 {
389     ACPI_OPERAND_OBJECT     *Prev;
390     ACPI_OPERAND_OBJECT     *Next;
391     ACPI_OPERAND_OBJECT     *MethodObj;
392     ACPI_NAMESPACE_NODE     *ParentNode;
393 
394 
395     ACPI_FUNCTION_TRACE (PsLinkModuleCode);
396 
397 
398     /* Get the tail of the list */
399 
400     Prev = Next = AcpiGbl_ModuleCodeList;
401     while (Next)
402     {
403         Prev = Next;
404         Next = Next->Method.Mutex;
405     }
406 
407     /*
408      * Insert the module level code into the list. Merge it if it is
409      * adjacent to the previous element.
410      */
411     if (!Prev ||
412        ((Prev->Method.AmlStart + Prev->Method.AmlLength) != AmlStart))
413     {
414         /* Create, initialize, and link a new temporary method object */
415 
416         MethodObj = AcpiUtCreateInternalObject (ACPI_TYPE_METHOD);
417         if (!MethodObj)
418         {
419             return_VOID;
420         }
421 
422         ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
423             "Create/Link new code block: %p\n", MethodObj));
424 
425         if (ParentOp->Common.Node)
426         {
427             ParentNode = ParentOp->Common.Node;
428         }
429         else
430         {
431             ParentNode = AcpiGbl_RootNode;
432         }
433 
434         MethodObj->Method.AmlStart = AmlStart;
435         MethodObj->Method.AmlLength = AmlLength;
436         MethodObj->Method.OwnerId = OwnerId;
437         MethodObj->Method.InfoFlags |= ACPI_METHOD_MODULE_LEVEL;
438 
439         /*
440          * Save the parent node in NextObject. This is cheating, but we
441          * don't want to expand the method object.
442          */
443         MethodObj->Method.NextObject =
444             ACPI_CAST_PTR (ACPI_OPERAND_OBJECT, ParentNode);
445 
446         if (!Prev)
447         {
448             AcpiGbl_ModuleCodeList = MethodObj;
449         }
450         else
451         {
452             Prev->Method.Mutex = MethodObj;
453         }
454     }
455     else
456     {
457         ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
458             "Appending to existing code block: %p\n", Prev));
459 
460         Prev->Method.AmlLength += AmlLength;
461     }
462 
463     return_VOID;
464 }
465 
466 /*******************************************************************************
467  *
468  * FUNCTION:    AcpiPsParseLoop
469  *
470  * PARAMETERS:  WalkState           - Current state
471  *
472  * RETURN:      Status
473  *
474  * DESCRIPTION: Parse AML (pointed to by the current parser state) and return
475  *              a tree of ops.
476  *
477  ******************************************************************************/
478 
479 ACPI_STATUS
480 AcpiPsParseLoop (
481     ACPI_WALK_STATE         *WalkState)
482 {
483     ACPI_STATUS             Status = AE_OK;
484     ACPI_PARSE_OBJECT       *Op = NULL;     /* current op */
485     ACPI_PARSE_STATE        *ParserState;
486     UINT8                   *AmlOpStart = NULL;
487 
488 
489     ACPI_FUNCTION_TRACE_PTR (PsParseLoop, WalkState);
490 
491 
492     if (WalkState->DescendingCallback == NULL)
493     {
494         return_ACPI_STATUS (AE_BAD_PARAMETER);
495     }
496 
497     ParserState = &WalkState->ParserState;
498     WalkState->ArgTypes = 0;
499 
500 #if (!defined (ACPI_NO_METHOD_EXECUTION) && !defined (ACPI_CONSTANT_EVAL_ONLY))
501 
502     if (WalkState->WalkType & ACPI_WALK_METHOD_RESTART)
503     {
504         /* We are restarting a preempted control method */
505 
506         if (AcpiPsHasCompletedScope (ParserState))
507         {
508             /*
509              * We must check if a predicate to an IF or WHILE statement
510              * was just completed
511              */
512             if ((ParserState->Scope->ParseScope.Op) &&
513                ((ParserState->Scope->ParseScope.Op->Common.AmlOpcode == AML_IF_OP) ||
514                 (ParserState->Scope->ParseScope.Op->Common.AmlOpcode == AML_WHILE_OP)) &&
515                 (WalkState->ControlState) &&
516                 (WalkState->ControlState->Common.State ==
517                     ACPI_CONTROL_PREDICATE_EXECUTING))
518             {
519                 /*
520                  * A predicate was just completed, get the value of the
521                  * predicate and branch based on that value
522                  */
523                 WalkState->Op = NULL;
524                 Status = AcpiDsGetPredicateValue (WalkState, ACPI_TO_POINTER (TRUE));
525                 if (ACPI_FAILURE (Status) &&
526                     ((Status & AE_CODE_MASK) != AE_CODE_CONTROL))
527                 {
528                     if (Status == AE_AML_NO_RETURN_VALUE)
529                     {
530                         ACPI_EXCEPTION ((AE_INFO, Status,
531                             "Invoked method did not return a value"));
532                     }
533 
534                     ACPI_EXCEPTION ((AE_INFO, Status, "GetPredicate Failed"));
535                     return_ACPI_STATUS (Status);
536                 }
537 
538                 Status = AcpiPsNextParseState (WalkState, Op, Status);
539             }
540 
541             AcpiPsPopScope (ParserState, &Op,
542                 &WalkState->ArgTypes, &WalkState->ArgCount);
543             ACPI_DEBUG_PRINT ((ACPI_DB_PARSE, "Popped scope, Op=%p\n", Op));
544         }
545         else if (WalkState->PrevOp)
546         {
547             /* We were in the middle of an op */
548 
549             Op = WalkState->PrevOp;
550             WalkState->ArgTypes = WalkState->PrevArgTypes;
551         }
552     }
553 #endif
554 
555     /* Iterative parsing loop, while there is more AML to process: */
556 
557     while ((ParserState->Aml < ParserState->AmlEnd) || (Op))
558     {
559         AmlOpStart = ParserState->Aml;
560         if (!Op)
561         {
562             Status = AcpiPsCreateOp (WalkState, AmlOpStart, &Op);
563             if (ACPI_FAILURE (Status))
564             {
565                 if (Status == AE_CTRL_PARSE_CONTINUE)
566                 {
567                     continue;
568                 }
569 
570                 if (Status == AE_CTRL_PARSE_PENDING)
571                 {
572                     Status = AE_OK;
573                 }
574 
575                 if (Status == AE_CTRL_TERMINATE)
576                 {
577                     return_ACPI_STATUS (Status);
578                 }
579 
580                 Status = AcpiPsCompleteOp (WalkState, &Op, Status);
581                 if (ACPI_FAILURE (Status))
582                 {
583                     return_ACPI_STATUS (Status);
584                 }
585 
586                 continue;
587             }
588 
589             AcpiExStartTraceOpcode (Op, WalkState);
590         }
591 
592 
593         /*
594          * Start ArgCount at zero because we don't know if there are
595          * any args yet
596          */
597         WalkState->ArgCount  = 0;
598 
599         /* Are there any arguments that must be processed? */
600 
601         if (WalkState->ArgTypes)
602         {
603             /* Get arguments */
604 
605             Status = AcpiPsGetArguments (WalkState, AmlOpStart, Op);
606             if (ACPI_FAILURE (Status))
607             {
608                 Status = AcpiPsCompleteOp (WalkState, &Op, Status);
609                 if (ACPI_FAILURE (Status))
610                 {
611                     return_ACPI_STATUS (Status);
612                 }
613 
614                 continue;
615             }
616         }
617 
618         /* Check for arguments that need to be processed */
619 
620         if (WalkState->ArgCount)
621         {
622             /*
623              * There are arguments (complex ones), push Op and
624              * prepare for argument
625              */
626             Status = AcpiPsPushScope (ParserState, Op,
627                 WalkState->ArgTypes, WalkState->ArgCount);
628             if (ACPI_FAILURE (Status))
629             {
630                 Status = AcpiPsCompleteOp (WalkState, &Op, Status);
631                 if (ACPI_FAILURE (Status))
632                 {
633                     return_ACPI_STATUS (Status);
634                 }
635 
636                 continue;
637             }
638 
639             Op = NULL;
640             continue;
641         }
642 
643         /*
644          * All arguments have been processed -- Op is complete,
645          * prepare for next
646          */
647         WalkState->OpInfo = AcpiPsGetOpcodeInfo (Op->Common.AmlOpcode);
648         if (WalkState->OpInfo->Flags & AML_NAMED)
649         {
650             if (Op->Common.AmlOpcode == AML_REGION_OP ||
651                 Op->Common.AmlOpcode == AML_DATA_REGION_OP)
652             {
653                 /*
654                  * Skip parsing of control method or opregion body,
655                  * because we don't have enough info in the first pass
656                  * to parse them correctly.
657                  *
658                  * Completed parsing an OpRegion declaration, we now
659                  * know the length.
660                  */
661                 Op->Named.Length = (UINT32) (ParserState->Aml - Op->Named.Data);
662             }
663         }
664 
665         if (WalkState->OpInfo->Flags & AML_CREATE)
666         {
667             /*
668              * Backup to beginning of CreateXXXfield declaration (1 for
669              * Opcode)
670              *
671              * BodyLength is unknown until we parse the body
672              */
673             Op->Named.Length = (UINT32) (ParserState->Aml - Op->Named.Data);
674         }
675 
676         if (Op->Common.AmlOpcode == AML_BANK_FIELD_OP)
677         {
678             /*
679              * Backup to beginning of BankField declaration
680              *
681              * BodyLength is unknown until we parse the body
682              */
683             Op->Named.Length = (UINT32) (ParserState->Aml - Op->Named.Data);
684         }
685 
686         /* This op complete, notify the dispatcher */
687 
688         if (WalkState->AscendingCallback != NULL)
689         {
690             WalkState->Op = Op;
691             WalkState->Opcode = Op->Common.AmlOpcode;
692 
693             Status = WalkState->AscendingCallback (WalkState);
694             Status = AcpiPsNextParseState (WalkState, Op, Status);
695             if (Status == AE_CTRL_PENDING)
696             {
697                 Status = AE_OK;
698             }
699         }
700 
701         Status = AcpiPsCompleteOp (WalkState, &Op, Status);
702         if (ACPI_FAILURE (Status))
703         {
704             return_ACPI_STATUS (Status);
705         }
706 
707     } /* while ParserState->Aml */
708 
709     Status = AcpiPsCompleteFinalOp (WalkState, Op, Status);
710     return_ACPI_STATUS (Status);
711 }
712