Home | History | Annotate | Line # | Download | only in compiler
      1 /******************************************************************************
      2  *
      3  * Module Name: aslanalyze.c - Support functions for parse tree walks
      4  *
      5  *****************************************************************************/
      6 
      7 /******************************************************************************
      8  *
      9  * 1. Copyright Notice
     10  *
     11  * Some or all of this work - Copyright (c) 1999 - 2025, 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 #include "aslcompiler.h"
    153 #include "aslcompiler.y.h"
    154 #include "acnamesp.h"
    155 #include <string.h>
    156 
    157 
    158 #define _COMPONENT          ACPI_COMPILER
    159         ACPI_MODULE_NAME    ("aslanalyze")
    160 
    161 
    162 /* Local Prototypes */
    163 
    164 static ACPI_STATUS
    165 ApDeviceSubtreeWalk (
    166     ACPI_PARSE_OBJECT       *Op,
    167     UINT32                  Level,
    168     void                    *Context);
    169 
    170 
    171 /*******************************************************************************
    172  *
    173  * FUNCTION:    AnIsInternalMethod
    174  *
    175  * PARAMETERS:  Op                  - Current op
    176  *
    177  * RETURN:      Boolean
    178  *
    179  * DESCRIPTION: Check for an internal control method.
    180  *
    181  ******************************************************************************/
    182 
    183 BOOLEAN
    184 AnIsInternalMethod (
    185     ACPI_PARSE_OBJECT       *Op)
    186 {
    187 
    188     if ((!strcmp (Op->Asl.ExternalName, "\\_OSI")) ||
    189         (!strcmp (Op->Asl.ExternalName, "_OSI")))
    190     {
    191         return (TRUE);
    192     }
    193 
    194     return (FALSE);
    195 }
    196 
    197 
    198 /*******************************************************************************
    199  *
    200  * FUNCTION:    AnGetInternalMethodReturnType
    201  *
    202  * PARAMETERS:  Op                  - Current op
    203  *
    204  * RETURN:      Btype
    205  *
    206  * DESCRIPTION: Get the return type of an internal method
    207  *
    208  ******************************************************************************/
    209 
    210 UINT32
    211 AnGetInternalMethodReturnType (
    212     ACPI_PARSE_OBJECT       *Op)
    213 {
    214 
    215     if ((!strcmp (Op->Asl.ExternalName, "\\_OSI")) ||
    216         (!strcmp (Op->Asl.ExternalName, "_OSI")))
    217     {
    218         return (ACPI_BTYPE_STRING);
    219     }
    220 
    221     return (0);
    222 }
    223 
    224 
    225 /*******************************************************************************
    226  *
    227  * FUNCTION:    AnCheckId
    228  *
    229  * PARAMETERS:  Op                  - Current parse op
    230  *              Type                - HID or CID
    231  *
    232  * RETURN:      None
    233  *
    234  * DESCRIPTION: Perform various checks on _HID and _CID strings. Only limited
    235  *              checks can be performed on _CID strings.
    236  *
    237  ******************************************************************************/
    238 
    239 void
    240 AnCheckId (
    241     ACPI_PARSE_OBJECT       *Op,
    242     ACPI_NAME               Type)
    243 {
    244     UINT32                  i;
    245     ACPI_SIZE               Length;
    246 
    247 
    248     /* Only care about string versions of _HID/_CID (integers are legal) */
    249 
    250     if (Op->Asl.ParseOpcode != PARSEOP_STRING_LITERAL)
    251     {
    252         return;
    253     }
    254 
    255     /* For both _HID and _CID, the string must be non-null */
    256 
    257     Length = strlen (Op->Asl.Value.String);
    258     if (!Length)
    259     {
    260         AslError (ASL_ERROR, ASL_MSG_NULL_STRING, Op, NULL);
    261         return;
    262     }
    263 
    264     /*
    265      * One of the things we want to catch here is the use of a leading
    266      * asterisk in the string -- an odd construct that certain platform
    267      * manufacturers are fond of. Technically, a leading asterisk is OK
    268      * for _CID, but a valid use of this has not been seen.
    269      */
    270     if (*Op->Asl.Value.String == '*')
    271     {
    272         AslError (ASL_ERROR, ASL_MSG_LEADING_ASTERISK,
    273             Op, Op->Asl.Value.String);
    274         return;
    275     }
    276 
    277     /* _CID strings are bus-specific, no more checks can be performed */
    278 
    279     if (Type == ASL_TYPE_CID)
    280     {
    281         return;
    282     }
    283 
    284     /* For _HID, all characters must be alphanumeric */
    285 
    286     for (i = 0; Op->Asl.Value.String[i]; i++)
    287     {
    288         if (!isalnum ((int) Op->Asl.Value.String[i]))
    289         {
    290             AslError (ASL_ERROR, ASL_MSG_ALPHANUMERIC_STRING,
    291                 Op, Op->Asl.Value.String);
    292             return;
    293         }
    294     }
    295 
    296     /*
    297      * _HID String must be one of these forms:
    298      *
    299      * "AAA####"    A is an uppercase letter and # is a hex digit
    300      * "ACPI####"   # is a hex digit
    301      * "NNNN####"   N is an uppercase letter or decimal digit (0-9)
    302      *              # is a hex digit (ACPI 5.0)
    303      */
    304     if ((Length < 7) || (Length > 8))
    305     {
    306         AslError (ASL_ERROR, ASL_MSG_HID_LENGTH,
    307             Op, Op->Asl.Value.String);
    308         return;
    309     }
    310 
    311     /* _HID Length is valid (7 or 8), now check prefix (first 3 or 4 chars) */
    312 
    313     if (Length == 7)
    314     {
    315         /* AAA####: Ensure the alphabetic prefix is all uppercase */
    316 
    317         for (i = 0; i < 3; i++)
    318         {
    319             if (!isupper ((int) Op->Asl.Value.String[i]))
    320             {
    321                 AslError (ASL_ERROR, ASL_MSG_UPPER_CASE,
    322                     Op, &Op->Asl.Value.String[i]);
    323                 return;
    324             }
    325         }
    326     }
    327     else /* Length == 8 */
    328     {
    329         /*
    330          * ACPI#### or NNNN####:
    331          * Ensure the prefix contains only uppercase alpha or decimal digits
    332          */
    333         for (i = 0; i < 4; i++)
    334         {
    335             if (!isupper ((int) Op->Asl.Value.String[i]) &&
    336                 !isdigit ((int) Op->Asl.Value.String[i]))
    337             {
    338                 AslError (ASL_ERROR, ASL_MSG_HID_PREFIX,
    339                     Op, &Op->Asl.Value.String[i]);
    340                 return;
    341             }
    342         }
    343     }
    344 
    345     /* Remaining characters (suffix) must be hex digits */
    346 
    347     for (; i < Length; i++)
    348     {
    349         if (!isxdigit ((int) Op->Asl.Value.String[i]))
    350         {
    351             AslError (ASL_ERROR, ASL_MSG_HID_SUFFIX,
    352                 Op, &Op->Asl.Value.String[i]);
    353             break;
    354         }
    355     }
    356 }
    357 
    358 
    359 /*******************************************************************************
    360  *
    361  * FUNCTION:    AnLastStatementIsReturn
    362  *
    363  * PARAMETERS:  Op                  - A method parse node
    364  *
    365  * RETURN:      TRUE if last statement is an ASL RETURN. False otherwise
    366  *
    367  * DESCRIPTION: Walk down the list of top level statements within a method
    368  *              to find the last one. Check if that last statement is in
    369  *              fact a RETURN statement.
    370  *
    371  ******************************************************************************/
    372 
    373 BOOLEAN
    374 AnLastStatementIsReturn (
    375     ACPI_PARSE_OBJECT       *Op)
    376 {
    377     ACPI_PARSE_OBJECT       *Next;
    378 
    379 
    380     /* Check if last statement is a return */
    381 
    382     Next = ASL_GET_CHILD_NODE (Op);
    383     while (Next)
    384     {
    385         if ((!Next->Asl.Next) &&
    386             (Next->Asl.ParseOpcode == PARSEOP_RETURN))
    387         {
    388             return (TRUE);
    389         }
    390 
    391         Next = ASL_GET_PEER_NODE (Next);
    392     }
    393 
    394     return (FALSE);
    395 }
    396 
    397 
    398 /*******************************************************************************
    399  *
    400  * FUNCTION:    AnCheckMethodReturnValue
    401  *
    402  * PARAMETERS:  Op                  - Parent
    403  *              OpInfo              - Parent info
    404  *              ArgOp               - Method invocation op
    405  *              RequiredBtypes      - What caller requires
    406  *              ThisNodeBtype       - What this node returns (if anything)
    407  *
    408  * RETURN:      None
    409  *
    410  * DESCRIPTION: Check a method invocation for 1) A return value and if it does
    411  *              in fact return a value, 2) check the type of the return value.
    412  *
    413  ******************************************************************************/
    414 
    415 void
    416 AnCheckMethodReturnValue (
    417     ACPI_PARSE_OBJECT       *Op,
    418     const ACPI_OPCODE_INFO  *OpInfo,
    419     ACPI_PARSE_OBJECT       *ArgOp,
    420     UINT32                  RequiredBtypes,
    421     UINT32                  ThisNodeBtype)
    422 {
    423     ACPI_PARSE_OBJECT       *OwningOp;
    424     ACPI_NAMESPACE_NODE     *Node;
    425     char                    *ExternalPath;
    426 
    427 
    428     Node = ArgOp->Asl.Node;
    429 
    430     if (!Node)
    431     {
    432         /* No error message, this can happen and is OK */
    433 
    434         return;
    435     }
    436 
    437     /* Examine the parent op of this method */
    438 
    439     OwningOp = Node->Op;
    440     ExternalPath = AcpiNsGetNormalizedPathname (Node, TRUE);
    441 
    442     if (OwningOp->Asl.CompileFlags & OP_METHOD_NO_RETVAL)
    443     {
    444         /* Method NEVER returns a value */
    445 
    446         AslError (ASL_ERROR, ASL_MSG_NO_RETVAL, Op, ExternalPath);
    447     }
    448     else if (OwningOp->Asl.CompileFlags & OP_METHOD_SOME_NO_RETVAL)
    449     {
    450         /* Method SOMETIMES returns a value, SOMETIMES not */
    451 
    452         AslError (ASL_WARNING, ASL_MSG_SOME_NO_RETVAL, Op, ExternalPath);
    453     }
    454     else if (!(ThisNodeBtype & RequiredBtypes))
    455     {
    456         /* Method returns a value, but the type is wrong */
    457 
    458         AnFormatBtype (AslGbl_StringBuffer, ThisNodeBtype);
    459         AnFormatBtype (AslGbl_StringBuffer2, RequiredBtypes);
    460 
    461         /*
    462          * The case where the method does not return any value at all
    463          * was already handled in the namespace cross reference
    464          * -- Only issue an error if the method in fact returns a value,
    465          * but it is of the wrong type
    466          */
    467         if (ThisNodeBtype != 0)
    468         {
    469             snprintf (AslGbl_MsgBuffer, sizeof(AslGbl_MsgBuffer),
    470                 "Method returns [%s], %s operator requires [%s]",
    471                 AslGbl_StringBuffer, OpInfo->Name, AslGbl_StringBuffer2);
    472 
    473             AslError (ASL_WARNING, ASL_MSG_INVALID_TYPE, ArgOp, AslGbl_MsgBuffer);
    474         }
    475     }
    476 
    477     if (ExternalPath)
    478     {
    479         ACPI_FREE (ExternalPath);
    480     }
    481 }
    482 
    483 
    484 /*******************************************************************************
    485  *
    486  * FUNCTION:    AnIsResultUsed
    487  *
    488  * PARAMETERS:  Op                  - Parent op for the operator
    489  *
    490  * RETURN:      TRUE if result from this operation is actually consumed
    491  *
    492  * DESCRIPTION: Determine if the function result value from an operator is
    493  *              used.
    494  *
    495  ******************************************************************************/
    496 
    497 BOOLEAN
    498 AnIsResultUsed (
    499     ACPI_PARSE_OBJECT       *Op)
    500 {
    501     ACPI_PARSE_OBJECT       *Parent;
    502 
    503 
    504     switch (Op->Asl.ParseOpcode)
    505     {
    506     case PARSEOP_INCREMENT:
    507     case PARSEOP_DECREMENT:
    508 
    509         /* These are standalone operators, no return value */
    510 
    511         return (TRUE);
    512 
    513     default:
    514 
    515         break;
    516     }
    517 
    518     /* Examine parent to determine if the return value is used */
    519 
    520     Parent = Op->Asl.Parent;
    521     switch (Parent->Asl.ParseOpcode)
    522     {
    523     /* If/While - check if the operator is the predicate */
    524 
    525     case PARSEOP_IF:
    526     case PARSEOP_WHILE:
    527 
    528         /* First child is the predicate */
    529 
    530         if (Parent->Asl.Child == Op)
    531         {
    532             return (TRUE);
    533         }
    534 
    535         return (FALSE);
    536 
    537     /* Not used if one of these is the parent */
    538 
    539     case PARSEOP_METHOD:
    540     case PARSEOP_DEFINITION_BLOCK:
    541     case PARSEOP_ELSE:
    542 
    543         return (FALSE);
    544 
    545     default:
    546 
    547         /* Any other type of parent means that the result is used */
    548 
    549         return (TRUE);
    550     }
    551 }
    552 
    553 
    554 /*******************************************************************************
    555  *
    556  * FUNCTION:    ApCheckForGpeNameConflict
    557  *
    558  * PARAMETERS:  Op                  - Current parse op
    559  *
    560  * RETURN:      None
    561  *
    562  * DESCRIPTION: Check for a conflict between GPE names within this scope.
    563  *              Conflict means two GPE names with the same GPE number, but
    564  *              different types -- such as _L1C and _E1C.
    565  *
    566  ******************************************************************************/
    567 
    568 void
    569 ApCheckForGpeNameConflict (
    570     ACPI_PARSE_OBJECT       *Op)
    571 {
    572     ACPI_PARSE_OBJECT       *NextOp;
    573     UINT32                  GpeNumber;
    574     char                    Name[ACPI_NAMESEG_SIZE + 1];
    575     char                    Target[ACPI_NAMESEG_SIZE] ACPI_NONSTRING;
    576 
    577 
    578     /**
    579      * Need a null-terminated string version of NameSeg
    580      *
    581      * NOTE: during a review on Name[ACPI_NAMESEG_SIZE + 1] having an extra
    582      *       byte[1], compiler testing exhibited a difference in behavior between
    583      *       GCC and Clang[2] (at least; MSVC may also exhibit the same) in
    584      *       how optimization is done. The extra byte is needed to ensure
    585      *       the signature does not get mangled, subsequently avoiding
    586      *       GpeNumber being a completely different return value from strtoul.
    587      *
    588      *       [1] https://github.com/acpica/acpica/pull/1019#discussion_r2058687704
    589      *       [2] https://github.com/acpica/acpica/pull/1019#discussion_r2061953039
    590      */
    591 
    592     ACPI_MOVE_32_TO_32 (Name, Op->Asl.NameSeg);
    593     Name[ACPI_NAMESEG_SIZE] = 0;
    594 
    595     /*
    596      * For a GPE method:
    597      * 1st char must be underscore
    598      * 2nd char must be L or E
    599      * 3rd/4th chars must be a hex number
    600      */
    601     if ((Name[0] != '_') ||
    602        ((Name[1] != 'L') && (Name[1] != 'E')))
    603     {
    604         return;
    605     }
    606 
    607     /* Verify 3rd/4th chars are a valid hex value */
    608 
    609     GpeNumber = strtoul (&Name[2], NULL, 16);
    610     if (GpeNumber == ACPI_UINT32_MAX)
    611     {
    612         return;
    613     }
    614 
    615     /*
    616      * We are now sure we have an _Lxx or _Exx.
    617      * Create the target name that would cause collision (Flip E/L)
    618      */
    619     ACPI_MOVE_32_TO_32 (Target, Name);
    620 
    621     /* Inject opposite letter ("L" versus "E") */
    622 
    623     if (Name[1] == 'L')
    624     {
    625         Target[1] = 'E';
    626     }
    627     else /* Name[1] == 'E' */
    628     {
    629         Target[1] = 'L';
    630     }
    631 
    632     /* Search all peers (objects within this scope) for target match */
    633 
    634     NextOp = Op->Asl.Next;
    635     while (NextOp)
    636     {
    637         /*
    638          * We mostly care about methods, but check Name() constructs also,
    639          * even though they will get another error for not being a method.
    640          * All GPE names must be defined as control methods.
    641          */
    642         if ((NextOp->Asl.ParseOpcode == PARSEOP_METHOD) ||
    643             (NextOp->Asl.ParseOpcode == PARSEOP_NAME))
    644         {
    645             if (ACPI_COMPARE_NAMESEG (Target, NextOp->Asl.NameSeg))
    646             {
    647                 /* Found both _Exy and _Lxy in the same scope, error */
    648 
    649                 AslError (ASL_ERROR, ASL_MSG_GPE_NAME_CONFLICT, NextOp,
    650                     Name);
    651                 return;
    652             }
    653         }
    654 
    655         NextOp = NextOp->Asl.Next;
    656     }
    657 
    658     /* OK, no conflict found */
    659 
    660     return;
    661 }
    662 
    663 
    664 /*******************************************************************************
    665  *
    666  * FUNCTION:    ApCheckRegMethod
    667  *
    668  * PARAMETERS:  Op                  - Current parse op
    669  *
    670  * RETURN:      None
    671  *
    672  * DESCRIPTION: Ensure that a _REG method has a corresponding Operation
    673  *              Region declaration within the same scope. Note: _REG is defined
    674  *              to have two arguments and must therefore be defined as a
    675  *              control method.
    676  *
    677  ******************************************************************************/
    678 
    679 void
    680 ApCheckRegMethod (
    681     ACPI_PARSE_OBJECT       *Op)
    682 {
    683     ACPI_PARSE_OBJECT       *Next;
    684     ACPI_PARSE_OBJECT       *Parent;
    685 
    686 
    687     /* We are only interested in _REG methods */
    688 
    689     if (!ACPI_COMPARE_NAMESEG (METHOD_NAME__REG, &Op->Asl.NameSeg))
    690     {
    691         return;
    692     }
    693 
    694     /* Get the start of the current scope */
    695 
    696     Parent = Op->Asl.Parent;
    697     Next = Parent->Asl.Child;
    698 
    699     /* Search entire scope for an operation region declaration */
    700 
    701     while (Next)
    702     {
    703         if (Next->Asl.ParseOpcode == PARSEOP_OPERATIONREGION)
    704         {
    705             return; /* Found region, OK */
    706         }
    707 
    708         Next = Next->Asl.Next;
    709     }
    710 
    711     /* No region found, issue warning */
    712 
    713     AslError (ASL_WARNING, ASL_MSG_NO_REGION, Op, NULL);
    714 }
    715 
    716 
    717 /*******************************************************************************
    718  *
    719  * FUNCTION:    ApFindNameInDeviceTree
    720  *
    721  * PARAMETERS:  Name                - Name to search for
    722  *              Op                  - Current parse op
    723  *
    724  * RETURN:      TRUE if name found in the same scope as Op.
    725  *
    726  * DESCRIPTION: Determine if a name appears in the same scope as Op, as either
    727  *              a Method() or a Name(). "Same scope" can mean under an If or
    728  *              Else statement.
    729  *
    730  * NOTE: Detects _HID/_ADR in this type of construct (legal in ACPI 6.1+)
    731  *
    732  * Scope (\_SB.PCI0)
    733  * {
    734  *     Device (I2C0)
    735  *     {
    736  *         If (SMD0 != 4) {
    737  *             Name (_HID, "INT3442")
    738  *         } Else {
    739  *             Name (_ADR, 0x400)
    740  *         }
    741  *     }
    742  * }
    743  ******************************************************************************/
    744 
    745 BOOLEAN
    746 ApFindNameInDeviceTree (
    747     char                    *Name,
    748     ACPI_PARSE_OBJECT       *Op)
    749 {
    750     ACPI_STATUS             Status;
    751 
    752 
    753     Status = TrWalkParseTree (Op, ASL_WALK_VISIT_DOWNWARD,
    754         ApDeviceSubtreeWalk, NULL, Name);
    755 
    756     if (Status == AE_CTRL_TRUE)
    757     {
    758         return (TRUE);  /* Found a match */
    759     }
    760 
    761     return (FALSE);
    762 }
    763 
    764 
    765 /* Callback function for interface above */
    766 
    767 static ACPI_STATUS
    768 ApDeviceSubtreeWalk (
    769     ACPI_PARSE_OBJECT       *Op,
    770     UINT32                  Level,
    771     void                    *Context)
    772 {
    773     char                    *Name = ACPI_CAST_PTR (char, Context);
    774 
    775 
    776     switch (Op->Asl.ParseOpcode)
    777     {
    778     case PARSEOP_DEVICE:
    779 
    780         /* Level 0 is the starting device, ignore it */
    781 
    782         if (Level > 0)
    783         {
    784             /* Ignore sub-devices */
    785 
    786             return (AE_CTRL_DEPTH);
    787         }
    788         break;
    789 
    790     case PARSEOP_NAME:
    791     case PARSEOP_METHOD:
    792 
    793         /* These are what we are looking for */
    794 
    795         if (ACPI_COMPARE_NAMESEG (Name, Op->Asl.NameSeg))
    796         {
    797             return (AE_CTRL_TRUE);
    798         }
    799         return (AE_CTRL_DEPTH);
    800 
    801     case PARSEOP_SCOPE:
    802     case PARSEOP_FIELD:
    803     case PARSEOP_OPERATIONREGION:
    804 
    805         /*
    806          * We want to ignore these, because either they can be large
    807          * subtrees or open a scope to somewhere else.
    808          */
    809         return (AE_CTRL_DEPTH);
    810 
    811     default:
    812         break;
    813     }
    814 
    815     return (AE_OK);
    816 }
    817 
    818 
    819 /*******************************************************************************
    820  *
    821  * FUNCTION:    ApFindNameInScope
    822  *
    823  * PARAMETERS:  Name                - Name to search for
    824  *              Op                  - Current parse op
    825  *
    826  * RETURN:      TRUE if name found in the same scope as Op.
    827  *
    828  * DESCRIPTION: Determine if a name appears in the same scope as Op, as either
    829  *              a Method() or a Name().
    830  *
    831  ******************************************************************************/
    832 
    833 BOOLEAN
    834 ApFindNameInScope (
    835     char                    *Name,
    836     ACPI_PARSE_OBJECT       *Op)
    837 {
    838     ACPI_PARSE_OBJECT       *Next;
    839     ACPI_PARSE_OBJECT       *Parent;
    840 
    841 
    842     /* Get the start of the current scope */
    843 
    844     Parent = Op->Asl.Parent;
    845     Next = Parent->Asl.Child;
    846 
    847     /* Search entire scope for a match to the name */
    848 
    849     while (Next)
    850     {
    851         if ((Next->Asl.ParseOpcode == PARSEOP_METHOD) ||
    852             (Next->Asl.ParseOpcode == PARSEOP_NAME))
    853         {
    854             if (ACPI_COMPARE_NAMESEG (Name, Next->Asl.NameSeg))
    855             {
    856                 return (TRUE);
    857             }
    858         }
    859 
    860         Next = Next->Asl.Next;
    861     }
    862 
    863     return (FALSE);
    864 }
    865