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