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