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 - 2018, 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 * Alternatively, you may choose to be licensed under the terms of the
117 * following license:
118 *
119 * Redistribution and use in source and binary forms, with or without
120 * modification, are permitted provided that the following conditions
121 * are met:
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.
133 *
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.
145 *
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.
149 *
150 *****************************************************************************/
151
152 /*
153 * Parse the AML and build an operation tree as most interpreters, (such as
154 * Perl) do. Parsing is done by hand rather than with a YACC generated parser
155 * to tightly constrain stack and dynamic memory usage. Parsing is kept
156 * flexible and the code fairly compact by parsing based on a list of AML
157 * opcode templates in AmlOpInfo[].
158 */
159
160 #include <contrib/dev/acpica/include/acpi.h>
161 #include <contrib/dev/acpica/include/accommon.h>
162 #include <contrib/dev/acpica/include/acinterp.h>
163 #include <contrib/dev/acpica/include/acparser.h>
164 #include <contrib/dev/acpica/include/acdispat.h>
165 #include <contrib/dev/acpica/include/amlcode.h>
166 #include <contrib/dev/acpica/include/acconvert.h>
167 #include <contrib/dev/acpica/include/acnamesp.h>
168
169 #define _COMPONENT ACPI_PARSER
170 ACPI_MODULE_NAME ("psloop")
171
172
173 /* Local prototypes */
174
175 static ACPI_STATUS
176 AcpiPsGetArguments (
177 ACPI_WALK_STATE *WalkState,
178 UINT8 *AmlOpStart,
179 ACPI_PARSE_OBJECT *Op);
180
181 static void
182 AcpiPsLinkModuleCode (
183 ACPI_PARSE_OBJECT *ParentOp,
184 UINT8 *AmlStart,
185 UINT32 AmlLength,
186 ACPI_OWNER_ID OwnerId);
187
188
189 /*******************************************************************************
190 *
191 * FUNCTION: AcpiPsGetArguments
192 *
193 * PARAMETERS: WalkState - Current state
194 * AmlOpStart - Op start in AML
195 * Op - Current Op
196 *
197 * RETURN: Status
198 *
199 * DESCRIPTION: Get arguments for passed Op.
200 *
201 ******************************************************************************/
202
203 static ACPI_STATUS
AcpiPsGetArguments(ACPI_WALK_STATE * WalkState,UINT8 * AmlOpStart,ACPI_PARSE_OBJECT * Op)204 AcpiPsGetArguments (
205 ACPI_WALK_STATE *WalkState,
206 UINT8 *AmlOpStart,
207 ACPI_PARSE_OBJECT *Op)
208 {
209 ACPI_STATUS Status = AE_OK;
210 ACPI_PARSE_OBJECT *Arg = NULL;
211 const ACPI_OPCODE_INFO *OpInfo;
212
213
214 ACPI_FUNCTION_TRACE_PTR (PsGetArguments, WalkState);
215
216
217 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
218 "Get arguments for opcode [%s]\n", Op->Common.AmlOpName));
219
220 switch (Op->Common.AmlOpcode)
221 {
222 case AML_BYTE_OP: /* AML_BYTEDATA_ARG */
223 case AML_WORD_OP: /* AML_WORDDATA_ARG */
224 case AML_DWORD_OP: /* AML_DWORDATA_ARG */
225 case AML_QWORD_OP: /* AML_QWORDATA_ARG */
226 case AML_STRING_OP: /* AML_ASCIICHARLIST_ARG */
227
228 /* Fill in constant or string argument directly */
229
230 AcpiPsGetNextSimpleArg (&(WalkState->ParserState),
231 GET_CURRENT_ARG_TYPE (WalkState->ArgTypes), Op);
232 break;
233
234 case AML_INT_NAMEPATH_OP: /* AML_NAMESTRING_ARG */
235
236 Status = AcpiPsGetNextNamepath (WalkState,
237 &(WalkState->ParserState), Op, ACPI_POSSIBLE_METHOD_CALL);
238 if (ACPI_FAILURE (Status))
239 {
240 return_ACPI_STATUS (Status);
241 }
242
243 WalkState->ArgTypes = 0;
244 break;
245
246 default:
247 /*
248 * Op is not a constant or string, append each argument to the Op
249 */
250 while (GET_CURRENT_ARG_TYPE (WalkState->ArgTypes) &&
251 !WalkState->ArgCount)
252 {
253 WalkState->Aml = WalkState->ParserState.Aml;
254
255 switch (Op->Common.AmlOpcode)
256 {
257 case AML_METHOD_OP:
258 case AML_BUFFER_OP:
259 case AML_PACKAGE_OP:
260 case AML_VARIABLE_PACKAGE_OP:
261 case AML_WHILE_OP:
262
263 break;
264
265 default:
266
267 ASL_CV_CAPTURE_COMMENTS (WalkState);
268 break;
269 }
270
271 Status = AcpiPsGetNextArg (WalkState, &(WalkState->ParserState),
272 GET_CURRENT_ARG_TYPE (WalkState->ArgTypes), &Arg);
273 if (ACPI_FAILURE (Status))
274 {
275 return_ACPI_STATUS (Status);
276 }
277
278 if (Arg)
279 {
280 AcpiPsAppendArg (Op, Arg);
281 }
282
283 INCREMENT_ARG_LIST (WalkState->ArgTypes);
284 }
285
286 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
287 "Final argument count: %8.8X pass %u\n",
288 WalkState->ArgCount, WalkState->PassNumber));
289
290 /*
291 * This case handles the legacy option that groups all module-level
292 * code blocks together and defers execution until all of the tables
293 * are loaded. Execute all of these blocks at this time.
294 * Execute any module-level code that was detected during the table
295 * load phase.
296 *
297 * Note: this option is deprecated and will be eliminated in the
298 * future. Use of this option can cause problems with AML code that
299 * depends upon in-order immediate execution of module-level code.
300 */
301 if (!AcpiGbl_ExecuteTablesAsMethods &&
302 (WalkState->PassNumber <= ACPI_IMODE_LOAD_PASS2) &&
303 ((WalkState->ParseFlags & ACPI_PARSE_DISASSEMBLE) == 0))
304 {
305 /*
306 * We want to skip If/Else/While constructs during Pass1 because we
307 * want to actually conditionally execute the code during Pass2.
308 *
309 * Except for disassembly, where we always want to walk the
310 * If/Else/While packages
311 */
312 switch (Op->Common.AmlOpcode)
313 {
314 case AML_IF_OP:
315 case AML_ELSE_OP:
316 case AML_WHILE_OP:
317 /*
318 * Currently supported module-level opcodes are:
319 * IF/ELSE/WHILE. These appear to be the most common,
320 * and easiest to support since they open an AML
321 * package.
322 */
323 if (WalkState->PassNumber == ACPI_IMODE_LOAD_PASS1)
324 {
325 AcpiPsLinkModuleCode (Op->Common.Parent, AmlOpStart,
326 (UINT32) (WalkState->ParserState.PkgEnd - AmlOpStart),
327 WalkState->OwnerId);
328 }
329
330 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
331 "Pass1: Skipping an If/Else/While body\n"));
332
333 /* Skip body of if/else/while in pass 1 */
334
335 WalkState->ParserState.Aml = WalkState->ParserState.PkgEnd;
336 WalkState->ArgCount = 0;
337 break;
338
339 default:
340 /*
341 * Check for an unsupported executable opcode at module
342 * level. We must be in PASS1, the parent must be a SCOPE,
343 * The opcode class must be EXECUTE, and the opcode must
344 * not be an argument to another opcode.
345 */
346 if ((WalkState->PassNumber == ACPI_IMODE_LOAD_PASS1) &&
347 (Op->Common.Parent->Common.AmlOpcode == AML_SCOPE_OP))
348 {
349 OpInfo = AcpiPsGetOpcodeInfo (Op->Common.AmlOpcode);
350 if ((OpInfo->Class == AML_CLASS_EXECUTE) &&
351 (!Arg))
352 {
353 ACPI_WARNING ((AE_INFO,
354 "Unsupported module-level executable opcode "
355 "0x%.2X at table offset 0x%.4X",
356 Op->Common.AmlOpcode,
357 (UINT32) (ACPI_PTR_DIFF (AmlOpStart,
358 WalkState->ParserState.AmlStart) +
359 sizeof (ACPI_TABLE_HEADER))));
360 }
361 }
362 break;
363 }
364 }
365
366 /* Special processing for certain opcodes */
367
368 switch (Op->Common.AmlOpcode)
369 {
370 case AML_METHOD_OP:
371 /*
372 * Skip parsing of control method because we don't have enough
373 * info in the first pass to parse it correctly.
374 *
375 * Save the length and address of the body
376 */
377 Op->Named.Data = WalkState->ParserState.Aml;
378 Op->Named.Length = (UINT32)
379 (WalkState->ParserState.PkgEnd - WalkState->ParserState.Aml);
380
381 /* Skip body of method */
382
383 WalkState->ParserState.Aml = WalkState->ParserState.PkgEnd;
384 WalkState->ArgCount = 0;
385 break;
386
387 case AML_BUFFER_OP:
388 case AML_PACKAGE_OP:
389 case AML_VARIABLE_PACKAGE_OP:
390
391 if ((Op->Common.Parent) &&
392 (Op->Common.Parent->Common.AmlOpcode == AML_NAME_OP) &&
393 (WalkState->PassNumber <= ACPI_IMODE_LOAD_PASS2))
394 {
395 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
396 "Setup Package/Buffer: Pass %u, AML Ptr: %p\n",
397 WalkState->PassNumber, AmlOpStart));
398
399 /*
400 * Skip parsing of Buffers and Packages because we don't have
401 * enough info in the first pass to parse them correctly.
402 */
403 Op->Named.Data = AmlOpStart;
404 Op->Named.Length = (UINT32)
405 (WalkState->ParserState.PkgEnd - AmlOpStart);
406
407 /* Skip body */
408
409 WalkState->ParserState.Aml = WalkState->ParserState.PkgEnd;
410 WalkState->ArgCount = 0;
411 }
412 break;
413
414 case AML_WHILE_OP:
415
416 if (WalkState->ControlState)
417 {
418 WalkState->ControlState->Control.PackageEnd =
419 WalkState->ParserState.PkgEnd;
420 }
421 break;
422
423 default:
424
425 /* No action for all other opcodes */
426
427 break;
428 }
429
430 break;
431 }
432
433 return_ACPI_STATUS (AE_OK);
434 }
435
436
437 /*******************************************************************************
438 *
439 * FUNCTION: AcpiPsLinkModuleCode
440 *
441 * PARAMETERS: ParentOp - Parent parser op
442 * AmlStart - Pointer to the AML
443 * AmlLength - Length of executable AML
444 * OwnerId - OwnerId of module level code
445 *
446 * RETURN: None.
447 *
448 * DESCRIPTION: Wrap the module-level code with a method object and link the
449 * object to the global list. Note, the mutex field of the method
450 * object is used to link multiple module-level code objects.
451 *
452 * NOTE: In this legacy option, each block of detected executable AML
453 * code that is outside of any control method is wrapped with a temporary
454 * control method object and placed on a global list below.
455 *
456 * This function executes the module-level code for all tables only after
457 * all of the tables have been loaded. It is a legacy option and is
458 * not compatible with other ACPI implementations. See AcpiNsLoadTable.
459 *
460 * This function will be removed when the legacy option is removed.
461 *
462 ******************************************************************************/
463
464 static void
AcpiPsLinkModuleCode(ACPI_PARSE_OBJECT * ParentOp,UINT8 * AmlStart,UINT32 AmlLength,ACPI_OWNER_ID OwnerId)465 AcpiPsLinkModuleCode (
466 ACPI_PARSE_OBJECT *ParentOp,
467 UINT8 *AmlStart,
468 UINT32 AmlLength,
469 ACPI_OWNER_ID OwnerId)
470 {
471 ACPI_OPERAND_OBJECT *Prev;
472 ACPI_OPERAND_OBJECT *Next;
473 ACPI_OPERAND_OBJECT *MethodObj;
474 ACPI_NAMESPACE_NODE *ParentNode;
475
476
477 ACPI_FUNCTION_TRACE (PsLinkModuleCode);
478
479
480 /* Get the tail of the list */
481
482 Prev = Next = AcpiGbl_ModuleCodeList;
483 while (Next)
484 {
485 Prev = Next;
486 Next = Next->Method.Mutex;
487 }
488
489 /*
490 * Insert the module level code into the list. Merge it if it is
491 * adjacent to the previous element.
492 */
493 if (!Prev ||
494 ((Prev->Method.AmlStart + Prev->Method.AmlLength) != AmlStart))
495 {
496 /* Create, initialize, and link a new temporary method object */
497
498 MethodObj = AcpiUtCreateInternalObject (ACPI_TYPE_METHOD);
499 if (!MethodObj)
500 {
501 return_VOID;
502 }
503
504 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
505 "Create/Link new code block: %p\n", MethodObj));
506
507 if (ParentOp->Common.Node)
508 {
509 ParentNode = ParentOp->Common.Node;
510 }
511 else
512 {
513 ParentNode = AcpiGbl_RootNode;
514 }
515
516 MethodObj->Method.AmlStart = AmlStart;
517 MethodObj->Method.AmlLength = AmlLength;
518 MethodObj->Method.OwnerId = OwnerId;
519 MethodObj->Method.InfoFlags |= ACPI_METHOD_MODULE_LEVEL;
520
521 /*
522 * Save the parent node in NextObject. This is cheating, but we
523 * don't want to expand the method object.
524 */
525 MethodObj->Method.NextObject =
526 ACPI_CAST_PTR (ACPI_OPERAND_OBJECT, ParentNode);
527
528 if (!Prev)
529 {
530 AcpiGbl_ModuleCodeList = MethodObj;
531 }
532 else
533 {
534 Prev->Method.Mutex = MethodObj;
535 }
536 }
537 else
538 {
539 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
540 "Appending to existing code block: %p\n", Prev));
541
542 Prev->Method.AmlLength += AmlLength;
543 }
544
545 return_VOID;
546 }
547
548 /*******************************************************************************
549 *
550 * FUNCTION: AcpiPsParseLoop
551 *
552 * PARAMETERS: WalkState - Current state
553 *
554 * RETURN: Status
555 *
556 * DESCRIPTION: Parse AML (pointed to by the current parser state) and return
557 * a tree of ops.
558 *
559 ******************************************************************************/
560
561 ACPI_STATUS
AcpiPsParseLoop(ACPI_WALK_STATE * WalkState)562 AcpiPsParseLoop (
563 ACPI_WALK_STATE *WalkState)
564 {
565 ACPI_STATUS Status = AE_OK;
566 ACPI_PARSE_OBJECT *Op = NULL; /* current op */
567 ACPI_PARSE_STATE *ParserState;
568 UINT8 *AmlOpStart = NULL;
569 UINT8 OpcodeLength;
570
571
572 ACPI_FUNCTION_TRACE_PTR (PsParseLoop, WalkState);
573
574
575 if (WalkState->DescendingCallback == NULL)
576 {
577 return_ACPI_STATUS (AE_BAD_PARAMETER);
578 }
579
580 ParserState = &WalkState->ParserState;
581 WalkState->ArgTypes = 0;
582
583 #ifndef ACPI_CONSTANT_EVAL_ONLY
584
585 if (WalkState->WalkType & ACPI_WALK_METHOD_RESTART)
586 {
587 /* We are restarting a preempted control method */
588
589 if (AcpiPsHasCompletedScope (ParserState))
590 {
591 /*
592 * We must check if a predicate to an IF or WHILE statement
593 * was just completed
594 */
595 if ((ParserState->Scope->ParseScope.Op) &&
596 ((ParserState->Scope->ParseScope.Op->Common.AmlOpcode == AML_IF_OP) ||
597 (ParserState->Scope->ParseScope.Op->Common.AmlOpcode == AML_WHILE_OP)) &&
598 (WalkState->ControlState) &&
599 (WalkState->ControlState->Common.State ==
600 ACPI_CONTROL_PREDICATE_EXECUTING))
601 {
602 /*
603 * A predicate was just completed, get the value of the
604 * predicate and branch based on that value
605 */
606 WalkState->Op = NULL;
607 Status = AcpiDsGetPredicateValue (WalkState, ACPI_TO_POINTER (TRUE));
608 if (ACPI_FAILURE (Status) &&
609 ((Status & AE_CODE_MASK) != AE_CODE_CONTROL))
610 {
611 if (Status == AE_AML_NO_RETURN_VALUE)
612 {
613 ACPI_EXCEPTION ((AE_INFO, Status,
614 "Invoked method did not return a value"));
615 }
616
617 ACPI_EXCEPTION ((AE_INFO, Status, "GetPredicate Failed"));
618 return_ACPI_STATUS (Status);
619 }
620
621 Status = AcpiPsNextParseState (WalkState, Op, Status);
622 }
623
624 AcpiPsPopScope (ParserState, &Op,
625 &WalkState->ArgTypes, &WalkState->ArgCount);
626 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE, "Popped scope, Op=%p\n", Op));
627 }
628 else if (WalkState->PrevOp)
629 {
630 /* We were in the middle of an op */
631
632 Op = WalkState->PrevOp;
633 WalkState->ArgTypes = WalkState->PrevArgTypes;
634 }
635 }
636 #endif
637
638 /* Iterative parsing loop, while there is more AML to process: */
639
640 while ((ParserState->Aml < ParserState->AmlEnd) || (Op))
641 {
642 ASL_CV_CAPTURE_COMMENTS (WalkState);
643
644 AmlOpStart = ParserState->Aml;
645 if (!Op)
646 {
647 Status = AcpiPsCreateOp (WalkState, AmlOpStart, &Op);
648 if (ACPI_FAILURE (Status))
649 {
650 /*
651 * ACPI_PARSE_MODULE_LEVEL means that we are loading a table by
652 * executing it as a control method. However, if we encounter
653 * an error while loading the table, we need to keep trying to
654 * load the table rather than aborting the table load. Set the
655 * status to AE_OK to proceed with the table load.
656 */
657 if ((WalkState->ParseFlags & ACPI_PARSE_MODULE_LEVEL) &&
658 ((Status == AE_ALREADY_EXISTS) || (Status == AE_NOT_FOUND)))
659 {
660 Status = AE_OK;
661 }
662 if (Status == AE_CTRL_PARSE_CONTINUE)
663 {
664 continue;
665 }
666
667 if (Status == AE_CTRL_PARSE_PENDING)
668 {
669 Status = AE_OK;
670 }
671
672 if (Status == AE_CTRL_TERMINATE)
673 {
674 return_ACPI_STATUS (Status);
675 }
676
677 Status = AcpiPsCompleteOp (WalkState, &Op, Status);
678 if (ACPI_FAILURE (Status))
679 {
680 return_ACPI_STATUS (Status);
681 }
682 if (AcpiNsOpensScope (
683 AcpiPsGetOpcodeInfo (WalkState->Opcode)->ObjectType))
684 {
685 /*
686 * If the scope/device op fails to parse, skip the body of
687 * the scope op because the parse failure indicates that
688 * the device may not exist.
689 */
690 ACPI_INFO (("Skipping parse of AML opcode: %s (0x%4.4X)",
691 AcpiPsGetOpcodeName (WalkState->Opcode), WalkState->Opcode));
692
693 /*
694 * Determine the opcode length before skipping the opcode.
695 * An opcode can be 1 byte or 2 bytes in length.
696 */
697 OpcodeLength = 1;
698 if ((WalkState->Opcode & 0xFF00) == AML_EXTENDED_OPCODE)
699 {
700 OpcodeLength = 2;
701 }
702 WalkState->ParserState.Aml = WalkState->Aml + OpcodeLength;
703
704 WalkState->ParserState.Aml =
705 AcpiPsGetNextPackageEnd(&WalkState->ParserState);
706 WalkState->Aml = WalkState->ParserState.Aml;
707 }
708
709 continue;
710 }
711
712 AcpiExStartTraceOpcode (Op, WalkState);
713 }
714
715 /*
716 * Start ArgCount at zero because we don't know if there are
717 * any args yet
718 */
719 WalkState->ArgCount = 0;
720
721 switch (Op->Common.AmlOpcode)
722 {
723 case AML_BYTE_OP:
724 case AML_WORD_OP:
725 case AML_DWORD_OP:
726 case AML_QWORD_OP:
727
728 break;
729
730 default:
731
732 ASL_CV_CAPTURE_COMMENTS (WalkState);
733 break;
734 }
735
736 /* Are there any arguments that must be processed? */
737
738 if (WalkState->ArgTypes)
739 {
740 /* Get arguments */
741
742 Status = AcpiPsGetArguments (WalkState, AmlOpStart, Op);
743 if (ACPI_FAILURE (Status))
744 {
745 Status = AcpiPsCompleteOp (WalkState, &Op, Status);
746 if (ACPI_FAILURE (Status))
747 {
748 return_ACPI_STATUS (Status);
749 }
750 if ((WalkState->ControlState) &&
751 ((WalkState->ControlState->Control.Opcode == AML_IF_OP) ||
752 (WalkState->ControlState->Control.Opcode == AML_WHILE_OP)))
753 {
754 /*
755 * If the if/while op fails to parse, we will skip parsing
756 * the body of the op.
757 */
758 ParserState->Aml =
759 WalkState->ControlState->Control.AmlPredicateStart + 1;
760 ParserState->Aml =
761 AcpiPsGetNextPackageEnd (ParserState);
762 WalkState->Aml = ParserState->Aml;
763
764 ACPI_ERROR ((AE_INFO, "Skipping While/If block"));
765 if (*WalkState->Aml == AML_ELSE_OP)
766 {
767 ACPI_ERROR ((AE_INFO, "Skipping Else block"));
768 WalkState->ParserState.Aml = WalkState->Aml + 1;
769 WalkState->ParserState.Aml =
770 AcpiPsGetNextPackageEnd (ParserState);
771 WalkState->Aml = ParserState->Aml;
772 }
773 ACPI_FREE(AcpiUtPopGenericState (&WalkState->ControlState));
774 }
775 Op = NULL;
776 continue;
777 }
778 }
779
780 /* Check for arguments that need to be processed */
781
782 ACPI_DEBUG_PRINT ((ACPI_DB_PARSE,
783 "Parseloop: argument count: %8.8X\n", WalkState->ArgCount));
784
785 if (WalkState->ArgCount)
786 {
787 /*
788 * There are arguments (complex ones), push Op and
789 * prepare for argument
790 */
791 Status = AcpiPsPushScope (ParserState, Op,
792 WalkState->ArgTypes, WalkState->ArgCount);
793 if (ACPI_FAILURE (Status))
794 {
795 Status = AcpiPsCompleteOp (WalkState, &Op, Status);
796 if (ACPI_FAILURE (Status))
797 {
798 return_ACPI_STATUS (Status);
799 }
800
801 continue;
802 }
803
804 Op = NULL;
805 continue;
806 }
807
808 /*
809 * All arguments have been processed -- Op is complete,
810 * prepare for next
811 */
812 WalkState->OpInfo = AcpiPsGetOpcodeInfo (Op->Common.AmlOpcode);
813 if (WalkState->OpInfo->Flags & AML_NAMED)
814 {
815 if (Op->Common.AmlOpcode == AML_REGION_OP ||
816 Op->Common.AmlOpcode == AML_DATA_REGION_OP)
817 {
818 /*
819 * Skip parsing of control method or opregion body,
820 * because we don't have enough info in the first pass
821 * to parse them correctly.
822 *
823 * Completed parsing an OpRegion declaration, we now
824 * know the length.
825 */
826 Op->Named.Length = (UINT32) (ParserState->Aml - Op->Named.Data);
827 }
828 }
829
830 if (WalkState->OpInfo->Flags & AML_CREATE)
831 {
832 /*
833 * Backup to beginning of CreateXXXfield declaration (1 for
834 * Opcode)
835 *
836 * BodyLength is unknown until we parse the body
837 */
838 Op->Named.Length = (UINT32) (ParserState->Aml - Op->Named.Data);
839 }
840
841 if (Op->Common.AmlOpcode == AML_BANK_FIELD_OP)
842 {
843 /*
844 * Backup to beginning of BankField declaration
845 *
846 * BodyLength is unknown until we parse the body
847 */
848 Op->Named.Length = (UINT32) (ParserState->Aml - Op->Named.Data);
849 }
850
851 /* This op complete, notify the dispatcher */
852
853 if (WalkState->AscendingCallback != NULL)
854 {
855 WalkState->Op = Op;
856 WalkState->Opcode = Op->Common.AmlOpcode;
857
858 Status = WalkState->AscendingCallback (WalkState);
859 Status = AcpiPsNextParseState (WalkState, Op, Status);
860 if (Status == AE_CTRL_PENDING)
861 {
862 Status = AE_OK;
863 }
864 else if ((WalkState->ParseFlags & ACPI_PARSE_MODULE_LEVEL) &&
865 (ACPI_AML_EXCEPTION(Status) || Status == AE_ALREADY_EXISTS ||
866 Status == AE_NOT_FOUND))
867 {
868 /*
869 * ACPI_PARSE_MODULE_LEVEL flag means that we are currently
870 * loading a table by executing it as a control method.
871 * However, if we encounter an error while loading the table,
872 * we need to keep trying to load the table rather than
873 * aborting the table load (setting the status to AE_OK
874 * continues the table load). If we get a failure at this
875 * point, it means that the dispatcher got an error while
876 * trying to execute the Op.
877 */
878 Status = AE_OK;
879 }
880 }
881
882 Status = AcpiPsCompleteOp (WalkState, &Op, Status);
883 if (ACPI_FAILURE (Status))
884 {
885 return_ACPI_STATUS (Status);
886 }
887
888 } /* while ParserState->Aml */
889
890 Status = AcpiPsCompleteFinalOp (WalkState, Op, Status);
891 return_ACPI_STATUS (Status);
892 }
893