1*cb565728SJerry Jelinek /******************************************************************************
2*cb565728SJerry Jelinek *
3*cb565728SJerry Jelinek * Module Name: nsarguments - Validation of args for ACPI predefined methods
4*cb565728SJerry Jelinek *
5*cb565728SJerry Jelinek *****************************************************************************/
6*cb565728SJerry Jelinek
7*cb565728SJerry Jelinek /*
8*cb565728SJerry Jelinek * Copyright (C) 2000 - 2016, Intel Corp.
9*cb565728SJerry Jelinek * All rights reserved.
10*cb565728SJerry Jelinek *
11*cb565728SJerry Jelinek * Redistribution and use in source and binary forms, with or without
12*cb565728SJerry Jelinek * modification, are permitted provided that the following conditions
13*cb565728SJerry Jelinek * are met:
14*cb565728SJerry Jelinek * 1. Redistributions of source code must retain the above copyright
15*cb565728SJerry Jelinek * notice, this list of conditions, and the following disclaimer,
16*cb565728SJerry Jelinek * without modification.
17*cb565728SJerry Jelinek * 2. Redistributions in binary form must reproduce at minimum a disclaimer
18*cb565728SJerry Jelinek * substantially similar to the "NO WARRANTY" disclaimer below
19*cb565728SJerry Jelinek * ("Disclaimer") and any redistribution must be conditioned upon
20*cb565728SJerry Jelinek * including a substantially similar Disclaimer requirement for further
21*cb565728SJerry Jelinek * binary redistribution.
22*cb565728SJerry Jelinek * 3. Neither the names of the above-listed copyright holders nor the names
23*cb565728SJerry Jelinek * of any contributors may be used to endorse or promote products derived
24*cb565728SJerry Jelinek * from this software without specific prior written permission.
25*cb565728SJerry Jelinek *
26*cb565728SJerry Jelinek * Alternatively, this software may be distributed under the terms of the
27*cb565728SJerry Jelinek * GNU General Public License ("GPL") version 2 as published by the Free
28*cb565728SJerry Jelinek * Software Foundation.
29*cb565728SJerry Jelinek *
30*cb565728SJerry Jelinek * NO WARRANTY
31*cb565728SJerry Jelinek * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
32*cb565728SJerry Jelinek * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
33*cb565728SJerry Jelinek * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR
34*cb565728SJerry Jelinek * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
35*cb565728SJerry Jelinek * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
36*cb565728SJerry Jelinek * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
37*cb565728SJerry Jelinek * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
38*cb565728SJerry Jelinek * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
39*cb565728SJerry Jelinek * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
40*cb565728SJerry Jelinek * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
41*cb565728SJerry Jelinek * POSSIBILITY OF SUCH DAMAGES.
42*cb565728SJerry Jelinek */
43*cb565728SJerry Jelinek
44*cb565728SJerry Jelinek #include "acpi.h"
45*cb565728SJerry Jelinek #include "accommon.h"
46*cb565728SJerry Jelinek #include "acnamesp.h"
47*cb565728SJerry Jelinek #include "acpredef.h"
48*cb565728SJerry Jelinek
49*cb565728SJerry Jelinek
50*cb565728SJerry Jelinek #define _COMPONENT ACPI_NAMESPACE
51*cb565728SJerry Jelinek ACPI_MODULE_NAME ("nsarguments")
52*cb565728SJerry Jelinek
53*cb565728SJerry Jelinek
54*cb565728SJerry Jelinek /*******************************************************************************
55*cb565728SJerry Jelinek *
56*cb565728SJerry Jelinek * FUNCTION: AcpiNsCheckArgumentTypes
57*cb565728SJerry Jelinek *
58*cb565728SJerry Jelinek * PARAMETERS: Info - Method execution information block
59*cb565728SJerry Jelinek *
60*cb565728SJerry Jelinek * RETURN: None
61*cb565728SJerry Jelinek *
62*cb565728SJerry Jelinek * DESCRIPTION: Check the incoming argument count and all argument types
63*cb565728SJerry Jelinek * against the argument type list for a predefined name.
64*cb565728SJerry Jelinek *
65*cb565728SJerry Jelinek ******************************************************************************/
66*cb565728SJerry Jelinek
67*cb565728SJerry Jelinek void
AcpiNsCheckArgumentTypes(ACPI_EVALUATE_INFO * Info)68*cb565728SJerry Jelinek AcpiNsCheckArgumentTypes (
69*cb565728SJerry Jelinek ACPI_EVALUATE_INFO *Info)
70*cb565728SJerry Jelinek {
71*cb565728SJerry Jelinek UINT16 ArgTypeList;
72*cb565728SJerry Jelinek UINT8 ArgCount;
73*cb565728SJerry Jelinek UINT8 ArgType;
74*cb565728SJerry Jelinek UINT8 UserArgType;
75*cb565728SJerry Jelinek UINT32 i;
76*cb565728SJerry Jelinek
77*cb565728SJerry Jelinek
78*cb565728SJerry Jelinek /* If not a predefined name, cannot typecheck args */
79*cb565728SJerry Jelinek
80*cb565728SJerry Jelinek if (!Info->Predefined)
81*cb565728SJerry Jelinek {
82*cb565728SJerry Jelinek return;
83*cb565728SJerry Jelinek }
84*cb565728SJerry Jelinek
85*cb565728SJerry Jelinek ArgTypeList = Info->Predefined->Info.ArgumentList;
86*cb565728SJerry Jelinek ArgCount = METHOD_GET_ARG_COUNT (ArgTypeList);
87*cb565728SJerry Jelinek
88*cb565728SJerry Jelinek /* Typecheck all arguments */
89*cb565728SJerry Jelinek
90*cb565728SJerry Jelinek for (i = 0; ((i < ArgCount) && (i < Info->ParamCount)); i++)
91*cb565728SJerry Jelinek {
92*cb565728SJerry Jelinek ArgType = METHOD_GET_NEXT_TYPE (ArgTypeList);
93*cb565728SJerry Jelinek UserArgType = Info->Parameters[i]->Common.Type;
94*cb565728SJerry Jelinek
95*cb565728SJerry Jelinek if (UserArgType != ArgType)
96*cb565728SJerry Jelinek {
97*cb565728SJerry Jelinek ACPI_WARN_PREDEFINED ((AE_INFO, Info->FullPathname, ACPI_WARN_ALWAYS,
98*cb565728SJerry Jelinek "Argument #%u type mismatch - "
99*cb565728SJerry Jelinek "Found [%s], ACPI requires [%s]", (i + 1),
100*cb565728SJerry Jelinek AcpiUtGetTypeName (UserArgType),
101*cb565728SJerry Jelinek AcpiUtGetTypeName (ArgType)));
102*cb565728SJerry Jelinek }
103*cb565728SJerry Jelinek }
104*cb565728SJerry Jelinek }
105*cb565728SJerry Jelinek
106*cb565728SJerry Jelinek
107*cb565728SJerry Jelinek /*******************************************************************************
108*cb565728SJerry Jelinek *
109*cb565728SJerry Jelinek * FUNCTION: AcpiNsCheckAcpiCompliance
110*cb565728SJerry Jelinek *
111*cb565728SJerry Jelinek * PARAMETERS: Pathname - Full pathname to the node (for error msgs)
112*cb565728SJerry Jelinek * Node - Namespace node for the method/object
113*cb565728SJerry Jelinek * Predefined - Pointer to entry in predefined name table
114*cb565728SJerry Jelinek *
115*cb565728SJerry Jelinek * RETURN: None
116*cb565728SJerry Jelinek *
117*cb565728SJerry Jelinek * DESCRIPTION: Check that the declared parameter count (in ASL/AML) for a
118*cb565728SJerry Jelinek * predefined name is what is expected (matches what is defined in
119*cb565728SJerry Jelinek * the ACPI specification for this predefined name.)
120*cb565728SJerry Jelinek *
121*cb565728SJerry Jelinek ******************************************************************************/
122*cb565728SJerry Jelinek
123*cb565728SJerry Jelinek void
AcpiNsCheckAcpiCompliance(char * Pathname,ACPI_NAMESPACE_NODE * Node,const ACPI_PREDEFINED_INFO * Predefined)124*cb565728SJerry Jelinek AcpiNsCheckAcpiCompliance (
125*cb565728SJerry Jelinek char *Pathname,
126*cb565728SJerry Jelinek ACPI_NAMESPACE_NODE *Node,
127*cb565728SJerry Jelinek const ACPI_PREDEFINED_INFO *Predefined)
128*cb565728SJerry Jelinek {
129*cb565728SJerry Jelinek UINT32 AmlParamCount;
130*cb565728SJerry Jelinek UINT32 RequiredParamCount;
131*cb565728SJerry Jelinek
132*cb565728SJerry Jelinek
133*cb565728SJerry Jelinek if (!Predefined)
134*cb565728SJerry Jelinek {
135*cb565728SJerry Jelinek return;
136*cb565728SJerry Jelinek }
137*cb565728SJerry Jelinek
138*cb565728SJerry Jelinek /* Get the ACPI-required arg count from the predefined info table */
139*cb565728SJerry Jelinek
140*cb565728SJerry Jelinek RequiredParamCount =
141*cb565728SJerry Jelinek METHOD_GET_ARG_COUNT (Predefined->Info.ArgumentList);
142*cb565728SJerry Jelinek
143*cb565728SJerry Jelinek /*
144*cb565728SJerry Jelinek * If this object is not a control method, we can check if the ACPI
145*cb565728SJerry Jelinek * spec requires that it be a method.
146*cb565728SJerry Jelinek */
147*cb565728SJerry Jelinek if (Node->Type != ACPI_TYPE_METHOD)
148*cb565728SJerry Jelinek {
149*cb565728SJerry Jelinek if (RequiredParamCount > 0)
150*cb565728SJerry Jelinek {
151*cb565728SJerry Jelinek /* Object requires args, must be implemented as a method */
152*cb565728SJerry Jelinek
153*cb565728SJerry Jelinek ACPI_BIOS_ERROR_PREDEFINED ((AE_INFO, Pathname, ACPI_WARN_ALWAYS,
154*cb565728SJerry Jelinek "Object (%s) must be a control method with %u arguments",
155*cb565728SJerry Jelinek AcpiUtGetTypeName (Node->Type), RequiredParamCount));
156*cb565728SJerry Jelinek }
157*cb565728SJerry Jelinek else if (!RequiredParamCount && !Predefined->Info.ExpectedBtypes)
158*cb565728SJerry Jelinek {
159*cb565728SJerry Jelinek /* Object requires no args and no return value, must be a method */
160*cb565728SJerry Jelinek
161*cb565728SJerry Jelinek ACPI_BIOS_ERROR_PREDEFINED ((AE_INFO, Pathname, ACPI_WARN_ALWAYS,
162*cb565728SJerry Jelinek "Object (%s) must be a control method "
163*cb565728SJerry Jelinek "with no arguments and no return value",
164*cb565728SJerry Jelinek AcpiUtGetTypeName (Node->Type)));
165*cb565728SJerry Jelinek }
166*cb565728SJerry Jelinek
167*cb565728SJerry Jelinek return;
168*cb565728SJerry Jelinek }
169*cb565728SJerry Jelinek
170*cb565728SJerry Jelinek /*
171*cb565728SJerry Jelinek * This is a control method.
172*cb565728SJerry Jelinek * Check that the ASL/AML-defined parameter count for this method
173*cb565728SJerry Jelinek * matches the ACPI-required parameter count
174*cb565728SJerry Jelinek *
175*cb565728SJerry Jelinek * Some methods are allowed to have a "minimum" number of args (_SCP)
176*cb565728SJerry Jelinek * because their definition in ACPI has changed over time.
177*cb565728SJerry Jelinek *
178*cb565728SJerry Jelinek * Note: These are BIOS errors in the declaration of the object
179*cb565728SJerry Jelinek */
180*cb565728SJerry Jelinek AmlParamCount = Node->Object->Method.ParamCount;
181*cb565728SJerry Jelinek
182*cb565728SJerry Jelinek if (AmlParamCount < RequiredParamCount)
183*cb565728SJerry Jelinek {
184*cb565728SJerry Jelinek ACPI_BIOS_ERROR_PREDEFINED ((AE_INFO, Pathname, ACPI_WARN_ALWAYS,
185*cb565728SJerry Jelinek "Insufficient arguments - "
186*cb565728SJerry Jelinek "ASL declared %u, ACPI requires %u",
187*cb565728SJerry Jelinek AmlParamCount, RequiredParamCount));
188*cb565728SJerry Jelinek }
189*cb565728SJerry Jelinek else if ((AmlParamCount > RequiredParamCount) &&
190*cb565728SJerry Jelinek !(Predefined->Info.ArgumentList & ARG_COUNT_IS_MINIMUM))
191*cb565728SJerry Jelinek {
192*cb565728SJerry Jelinek ACPI_BIOS_ERROR_PREDEFINED ((AE_INFO, Pathname, ACPI_WARN_ALWAYS,
193*cb565728SJerry Jelinek "Excess arguments - "
194*cb565728SJerry Jelinek "ASL declared %u, ACPI requires %u",
195*cb565728SJerry Jelinek AmlParamCount, RequiredParamCount));
196*cb565728SJerry Jelinek }
197*cb565728SJerry Jelinek }
198*cb565728SJerry Jelinek
199*cb565728SJerry Jelinek
200*cb565728SJerry Jelinek /*******************************************************************************
201*cb565728SJerry Jelinek *
202*cb565728SJerry Jelinek * FUNCTION: AcpiNsCheckArgumentCount
203*cb565728SJerry Jelinek *
204*cb565728SJerry Jelinek * PARAMETERS: Pathname - Full pathname to the node (for error msgs)
205*cb565728SJerry Jelinek * Node - Namespace node for the method/object
206*cb565728SJerry Jelinek * UserParamCount - Number of args passed in by the caller
207*cb565728SJerry Jelinek * Predefined - Pointer to entry in predefined name table
208*cb565728SJerry Jelinek *
209*cb565728SJerry Jelinek * RETURN: None
210*cb565728SJerry Jelinek *
211*cb565728SJerry Jelinek * DESCRIPTION: Check that incoming argument count matches the declared
212*cb565728SJerry Jelinek * parameter count (in the ASL/AML) for an object.
213*cb565728SJerry Jelinek *
214*cb565728SJerry Jelinek ******************************************************************************/
215*cb565728SJerry Jelinek
216*cb565728SJerry Jelinek void
AcpiNsCheckArgumentCount(char * Pathname,ACPI_NAMESPACE_NODE * Node,UINT32 UserParamCount,const ACPI_PREDEFINED_INFO * Predefined)217*cb565728SJerry Jelinek AcpiNsCheckArgumentCount (
218*cb565728SJerry Jelinek char *Pathname,
219*cb565728SJerry Jelinek ACPI_NAMESPACE_NODE *Node,
220*cb565728SJerry Jelinek UINT32 UserParamCount,
221*cb565728SJerry Jelinek const ACPI_PREDEFINED_INFO *Predefined)
222*cb565728SJerry Jelinek {
223*cb565728SJerry Jelinek UINT32 AmlParamCount;
224*cb565728SJerry Jelinek UINT32 RequiredParamCount;
225*cb565728SJerry Jelinek
226*cb565728SJerry Jelinek
227*cb565728SJerry Jelinek if (!Predefined)
228*cb565728SJerry Jelinek {
229*cb565728SJerry Jelinek /*
230*cb565728SJerry Jelinek * Not a predefined name. Check the incoming user argument count
231*cb565728SJerry Jelinek * against the count that is specified in the method/object.
232*cb565728SJerry Jelinek */
233*cb565728SJerry Jelinek if (Node->Type != ACPI_TYPE_METHOD)
234*cb565728SJerry Jelinek {
235*cb565728SJerry Jelinek if (UserParamCount)
236*cb565728SJerry Jelinek {
237*cb565728SJerry Jelinek ACPI_INFO_PREDEFINED ((AE_INFO, Pathname, ACPI_WARN_ALWAYS,
238*cb565728SJerry Jelinek "%u arguments were passed to a non-method ACPI object (%s)",
239*cb565728SJerry Jelinek UserParamCount, AcpiUtGetTypeName (Node->Type)));
240*cb565728SJerry Jelinek }
241*cb565728SJerry Jelinek
242*cb565728SJerry Jelinek return;
243*cb565728SJerry Jelinek }
244*cb565728SJerry Jelinek
245*cb565728SJerry Jelinek /*
246*cb565728SJerry Jelinek * This is a control method. Check the parameter count.
247*cb565728SJerry Jelinek * We can only check the incoming argument count against the
248*cb565728SJerry Jelinek * argument count declared for the method in the ASL/AML.
249*cb565728SJerry Jelinek *
250*cb565728SJerry Jelinek * Emit a message if too few or too many arguments have been passed
251*cb565728SJerry Jelinek * by the caller.
252*cb565728SJerry Jelinek *
253*cb565728SJerry Jelinek * Note: Too many arguments will not cause the method to
254*cb565728SJerry Jelinek * fail. However, the method will fail if there are too few
255*cb565728SJerry Jelinek * arguments and the method attempts to use one of the missing ones.
256*cb565728SJerry Jelinek */
257*cb565728SJerry Jelinek AmlParamCount = Node->Object->Method.ParamCount;
258*cb565728SJerry Jelinek
259*cb565728SJerry Jelinek if (UserParamCount < AmlParamCount)
260*cb565728SJerry Jelinek {
261*cb565728SJerry Jelinek ACPI_WARN_PREDEFINED ((AE_INFO, Pathname, ACPI_WARN_ALWAYS,
262*cb565728SJerry Jelinek "Insufficient arguments - "
263*cb565728SJerry Jelinek "Caller passed %u, method requires %u",
264*cb565728SJerry Jelinek UserParamCount, AmlParamCount));
265*cb565728SJerry Jelinek }
266*cb565728SJerry Jelinek else if (UserParamCount > AmlParamCount)
267*cb565728SJerry Jelinek {
268*cb565728SJerry Jelinek ACPI_INFO_PREDEFINED ((AE_INFO, Pathname, ACPI_WARN_ALWAYS,
269*cb565728SJerry Jelinek "Excess arguments - "
270*cb565728SJerry Jelinek "Caller passed %u, method requires %u",
271*cb565728SJerry Jelinek UserParamCount, AmlParamCount));
272*cb565728SJerry Jelinek }
273*cb565728SJerry Jelinek
274*cb565728SJerry Jelinek return;
275*cb565728SJerry Jelinek }
276*cb565728SJerry Jelinek
277*cb565728SJerry Jelinek /*
278*cb565728SJerry Jelinek * This is a predefined name. Validate the user-supplied parameter
279*cb565728SJerry Jelinek * count against the ACPI specification. We don't validate against
280*cb565728SJerry Jelinek * the method itself because what is important here is that the
281*cb565728SJerry Jelinek * caller is in conformance with the spec. (The arg count for the
282*cb565728SJerry Jelinek * method was checked against the ACPI spec earlier.)
283*cb565728SJerry Jelinek *
284*cb565728SJerry Jelinek * Some methods are allowed to have a "minimum" number of args (_SCP)
285*cb565728SJerry Jelinek * because their definition in ACPI has changed over time.
286*cb565728SJerry Jelinek */
287*cb565728SJerry Jelinek RequiredParamCount =
288*cb565728SJerry Jelinek METHOD_GET_ARG_COUNT (Predefined->Info.ArgumentList);
289*cb565728SJerry Jelinek
290*cb565728SJerry Jelinek if (UserParamCount < RequiredParamCount)
291*cb565728SJerry Jelinek {
292*cb565728SJerry Jelinek ACPI_WARN_PREDEFINED ((AE_INFO, Pathname, ACPI_WARN_ALWAYS,
293*cb565728SJerry Jelinek "Insufficient arguments - "
294*cb565728SJerry Jelinek "Caller passed %u, ACPI requires %u",
295*cb565728SJerry Jelinek UserParamCount, RequiredParamCount));
296*cb565728SJerry Jelinek }
297*cb565728SJerry Jelinek else if ((UserParamCount > RequiredParamCount) &&
298*cb565728SJerry Jelinek !(Predefined->Info.ArgumentList & ARG_COUNT_IS_MINIMUM))
299*cb565728SJerry Jelinek {
300*cb565728SJerry Jelinek ACPI_INFO_PREDEFINED ((AE_INFO, Pathname, ACPI_WARN_ALWAYS,
301*cb565728SJerry Jelinek "Excess arguments - "
302*cb565728SJerry Jelinek "Caller passed %u, ACPI requires %u",
303*cb565728SJerry Jelinek UserParamCount, RequiredParamCount));
304*cb565728SJerry Jelinek }
305*cb565728SJerry Jelinek }
306