| xj | b04a402 | 2021-11-25 15:01:52 +0800 | [diff] [blame] | 1 | // SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0 | 
 | 2 | /****************************************************************************** | 
 | 3 |  * | 
 | 4 |  * Module Name: nsarguments - Validation of args for ACPI predefined methods | 
 | 5 |  * | 
 | 6 |  * Copyright (C) 2000 - 2018, Intel Corp. | 
 | 7 |  * | 
 | 8 |  *****************************************************************************/ | 
 | 9 |  | 
 | 10 | #include <acpi/acpi.h> | 
 | 11 | #include "accommon.h" | 
 | 12 | #include "acnamesp.h" | 
 | 13 | #include "acpredef.h" | 
 | 14 |  | 
 | 15 | #define _COMPONENT          ACPI_NAMESPACE | 
 | 16 | ACPI_MODULE_NAME("nsarguments") | 
 | 17 |  | 
 | 18 | /******************************************************************************* | 
 | 19 |  * | 
 | 20 |  * FUNCTION:    acpi_ns_check_argument_types | 
 | 21 |  * | 
 | 22 |  * PARAMETERS:  info            - Method execution information block | 
 | 23 |  * | 
 | 24 |  * RETURN:      None | 
 | 25 |  * | 
 | 26 |  * DESCRIPTION: Check the incoming argument count and all argument types | 
 | 27 |  *              against the argument type list for a predefined name. | 
 | 28 |  * | 
 | 29 |  ******************************************************************************/ | 
 | 30 | void acpi_ns_check_argument_types(struct acpi_evaluate_info *info) | 
 | 31 | { | 
 | 32 | 	u16 arg_type_list; | 
 | 33 | 	u8 arg_count; | 
 | 34 | 	u8 arg_type; | 
 | 35 | 	u8 user_arg_type; | 
 | 36 | 	u32 i; | 
 | 37 |  | 
 | 38 | 	/* | 
 | 39 | 	 * If not a predefined name, cannot typecheck args, because | 
 | 40 | 	 * we have no idea what argument types are expected. | 
 | 41 | 	 * Also, ignore typecheck if warnings/errors if this method | 
 | 42 | 	 * has already been evaluated at least once -- in order | 
 | 43 | 	 * to suppress repetitive messages. | 
 | 44 | 	 */ | 
 | 45 | 	if (!info->predefined || (info->node->flags & ANOBJ_EVALUATED)) { | 
 | 46 | 		return; | 
 | 47 | 	} | 
 | 48 |  | 
 | 49 | 	arg_type_list = info->predefined->info.argument_list; | 
 | 50 | 	arg_count = METHOD_GET_ARG_COUNT(arg_type_list); | 
 | 51 |  | 
 | 52 | 	/* Typecheck all arguments */ | 
 | 53 |  | 
 | 54 | 	for (i = 0; ((i < arg_count) && (i < info->param_count)); i++) { | 
 | 55 | 		arg_type = METHOD_GET_NEXT_TYPE(arg_type_list); | 
 | 56 | 		user_arg_type = info->parameters[i]->common.type; | 
 | 57 |  | 
 | 58 | 		if (user_arg_type != arg_type) { | 
 | 59 | 			ACPI_WARN_PREDEFINED((AE_INFO, info->full_pathname, | 
 | 60 | 					      ACPI_WARN_ALWAYS, | 
 | 61 | 					      "Argument #%u type mismatch - " | 
 | 62 | 					      "Found [%s], ACPI requires [%s]", | 
 | 63 | 					      (i + 1), | 
 | 64 | 					      acpi_ut_get_type_name | 
 | 65 | 					      (user_arg_type), | 
 | 66 | 					      acpi_ut_get_type_name(arg_type))); | 
 | 67 |  | 
 | 68 | 			/* Prevent any additional typechecking for this method */ | 
 | 69 |  | 
 | 70 | 			info->node->flags |= ANOBJ_EVALUATED; | 
 | 71 | 		} | 
 | 72 | 	} | 
 | 73 | } | 
 | 74 |  | 
 | 75 | /******************************************************************************* | 
 | 76 |  * | 
 | 77 |  * FUNCTION:    acpi_ns_check_acpi_compliance | 
 | 78 |  * | 
 | 79 |  * PARAMETERS:  pathname        - Full pathname to the node (for error msgs) | 
 | 80 |  *              node            - Namespace node for the method/object | 
 | 81 |  *              predefined      - Pointer to entry in predefined name table | 
 | 82 |  * | 
 | 83 |  * RETURN:      None | 
 | 84 |  * | 
 | 85 |  * DESCRIPTION: Check that the declared parameter count (in ASL/AML) for a | 
 | 86 |  *              predefined name is what is expected (matches what is defined in | 
 | 87 |  *              the ACPI specification for this predefined name.) | 
 | 88 |  * | 
 | 89 |  ******************************************************************************/ | 
 | 90 |  | 
 | 91 | void | 
 | 92 | acpi_ns_check_acpi_compliance(char *pathname, | 
 | 93 | 			      struct acpi_namespace_node *node, | 
 | 94 | 			      const union acpi_predefined_info *predefined) | 
 | 95 | { | 
 | 96 | 	u32 aml_param_count; | 
 | 97 | 	u32 required_param_count; | 
 | 98 |  | 
 | 99 | 	if (!predefined || (node->flags & ANOBJ_EVALUATED)) { | 
 | 100 | 		return; | 
 | 101 | 	} | 
 | 102 |  | 
 | 103 | 	/* Get the ACPI-required arg count from the predefined info table */ | 
 | 104 |  | 
 | 105 | 	required_param_count = | 
 | 106 | 	    METHOD_GET_ARG_COUNT(predefined->info.argument_list); | 
 | 107 |  | 
 | 108 | 	/* | 
 | 109 | 	 * If this object is not a control method, we can check if the ACPI | 
 | 110 | 	 * spec requires that it be a method. | 
 | 111 | 	 */ | 
 | 112 | 	if (node->type != ACPI_TYPE_METHOD) { | 
 | 113 | 		if (required_param_count > 0) { | 
 | 114 |  | 
 | 115 | 			/* Object requires args, must be implemented as a method */ | 
 | 116 |  | 
 | 117 | 			ACPI_BIOS_ERROR_PREDEFINED((AE_INFO, pathname, | 
 | 118 | 						    ACPI_WARN_ALWAYS, | 
 | 119 | 						    "Object (%s) must be a control method with %u arguments", | 
 | 120 | 						    acpi_ut_get_type_name(node-> | 
 | 121 | 									  type), | 
 | 122 | 						    required_param_count)); | 
 | 123 | 		} else if (!required_param_count | 
 | 124 | 			   && !predefined->info.expected_btypes) { | 
 | 125 |  | 
 | 126 | 			/* Object requires no args and no return value, must be a method */ | 
 | 127 |  | 
 | 128 | 			ACPI_BIOS_ERROR_PREDEFINED((AE_INFO, pathname, | 
 | 129 | 						    ACPI_WARN_ALWAYS, | 
 | 130 | 						    "Object (%s) must be a control method " | 
 | 131 | 						    "with no arguments and no return value", | 
 | 132 | 						    acpi_ut_get_type_name(node-> | 
 | 133 | 									  type))); | 
 | 134 | 		} | 
 | 135 |  | 
 | 136 | 		return; | 
 | 137 | 	} | 
 | 138 |  | 
 | 139 | 	/* | 
 | 140 | 	 * This is a control method. | 
 | 141 | 	 * Check that the ASL/AML-defined parameter count for this method | 
 | 142 | 	 * matches the ACPI-required parameter count | 
 | 143 | 	 * | 
 | 144 | 	 * Some methods are allowed to have a "minimum" number of args (_SCP) | 
 | 145 | 	 * because their definition in ACPI has changed over time. | 
 | 146 | 	 * | 
 | 147 | 	 * Note: These are BIOS errors in the declaration of the object | 
 | 148 | 	 */ | 
 | 149 | 	aml_param_count = node->object->method.param_count; | 
 | 150 |  | 
 | 151 | 	if (aml_param_count < required_param_count) { | 
 | 152 | 		ACPI_BIOS_ERROR_PREDEFINED((AE_INFO, pathname, ACPI_WARN_ALWAYS, | 
 | 153 | 					    "Insufficient arguments - " | 
 | 154 | 					    "ASL declared %u, ACPI requires %u", | 
 | 155 | 					    aml_param_count, | 
 | 156 | 					    required_param_count)); | 
 | 157 | 	} else if ((aml_param_count > required_param_count) | 
 | 158 | 		   && !(predefined->info. | 
 | 159 | 			argument_list & ARG_COUNT_IS_MINIMUM)) { | 
 | 160 | 		ACPI_BIOS_ERROR_PREDEFINED((AE_INFO, pathname, ACPI_WARN_ALWAYS, | 
 | 161 | 					    "Excess arguments - " | 
 | 162 | 					    "ASL declared %u, ACPI requires %u", | 
 | 163 | 					    aml_param_count, | 
 | 164 | 					    required_param_count)); | 
 | 165 | 	} | 
 | 166 | } | 
 | 167 |  | 
 | 168 | /******************************************************************************* | 
 | 169 |  * | 
 | 170 |  * FUNCTION:    acpi_ns_check_argument_count | 
 | 171 |  * | 
 | 172 |  * PARAMETERS:  pathname        - Full pathname to the node (for error msgs) | 
 | 173 |  *              node            - Namespace node for the method/object | 
 | 174 |  *              user_param_count - Number of args passed in by the caller | 
 | 175 |  *              predefined      - Pointer to entry in predefined name table | 
 | 176 |  * | 
 | 177 |  * RETURN:      None | 
 | 178 |  * | 
 | 179 |  * DESCRIPTION: Check that incoming argument count matches the declared | 
 | 180 |  *              parameter count (in the ASL/AML) for an object. | 
 | 181 |  * | 
 | 182 |  ******************************************************************************/ | 
 | 183 |  | 
 | 184 | void | 
 | 185 | acpi_ns_check_argument_count(char *pathname, | 
 | 186 | 			     struct acpi_namespace_node *node, | 
 | 187 | 			     u32 user_param_count, | 
 | 188 | 			     const union acpi_predefined_info *predefined) | 
 | 189 | { | 
 | 190 | 	u32 aml_param_count; | 
 | 191 | 	u32 required_param_count; | 
 | 192 |  | 
 | 193 | 	if (node->flags & ANOBJ_EVALUATED) { | 
 | 194 | 		return; | 
 | 195 | 	} | 
 | 196 |  | 
 | 197 | 	if (!predefined) { | 
 | 198 | 		/* | 
 | 199 | 		 * Not a predefined name. Check the incoming user argument count | 
 | 200 | 		 * against the count that is specified in the method/object. | 
 | 201 | 		 */ | 
 | 202 | 		if (node->type != ACPI_TYPE_METHOD) { | 
 | 203 | 			if (user_param_count) { | 
 | 204 | 				ACPI_INFO_PREDEFINED((AE_INFO, pathname, | 
 | 205 | 						      ACPI_WARN_ALWAYS, | 
 | 206 | 						      "%u arguments were passed to a non-method ACPI object (%s)", | 
 | 207 | 						      user_param_count, | 
 | 208 | 						      acpi_ut_get_type_name | 
 | 209 | 						      (node->type))); | 
 | 210 | 			} | 
 | 211 |  | 
 | 212 | 			return; | 
 | 213 | 		} | 
 | 214 |  | 
 | 215 | 		/* | 
 | 216 | 		 * This is a control method. Check the parameter count. | 
 | 217 | 		 * We can only check the incoming argument count against the | 
 | 218 | 		 * argument count declared for the method in the ASL/AML. | 
 | 219 | 		 * | 
 | 220 | 		 * Emit a message if too few or too many arguments have been passed | 
 | 221 | 		 * by the caller. | 
 | 222 | 		 * | 
 | 223 | 		 * Note: Too many arguments will not cause the method to | 
 | 224 | 		 * fail. However, the method will fail if there are too few | 
 | 225 | 		 * arguments and the method attempts to use one of the missing ones. | 
 | 226 | 		 */ | 
 | 227 | 		aml_param_count = node->object->method.param_count; | 
 | 228 |  | 
 | 229 | 		if (user_param_count < aml_param_count) { | 
 | 230 | 			ACPI_WARN_PREDEFINED((AE_INFO, pathname, | 
 | 231 | 					      ACPI_WARN_ALWAYS, | 
 | 232 | 					      "Insufficient arguments - " | 
 | 233 | 					      "Caller passed %u, method requires %u", | 
 | 234 | 					      user_param_count, | 
 | 235 | 					      aml_param_count)); | 
 | 236 | 		} else if (user_param_count > aml_param_count) { | 
 | 237 | 			ACPI_INFO_PREDEFINED((AE_INFO, pathname, | 
 | 238 | 					      ACPI_WARN_ALWAYS, | 
 | 239 | 					      "Excess arguments - " | 
 | 240 | 					      "Caller passed %u, method requires %u", | 
 | 241 | 					      user_param_count, | 
 | 242 | 					      aml_param_count)); | 
 | 243 | 		} | 
 | 244 |  | 
 | 245 | 		return; | 
 | 246 | 	} | 
 | 247 |  | 
 | 248 | 	/* | 
 | 249 | 	 * This is a predefined name. Validate the user-supplied parameter | 
 | 250 | 	 * count against the ACPI specification. We don't validate against | 
 | 251 | 	 * the method itself because what is important here is that the | 
 | 252 | 	 * caller is in conformance with the spec. (The arg count for the | 
 | 253 | 	 * method was checked against the ACPI spec earlier.) | 
 | 254 | 	 * | 
 | 255 | 	 * Some methods are allowed to have a "minimum" number of args (_SCP) | 
 | 256 | 	 * because their definition in ACPI has changed over time. | 
 | 257 | 	 */ | 
 | 258 | 	required_param_count = | 
 | 259 | 	    METHOD_GET_ARG_COUNT(predefined->info.argument_list); | 
 | 260 |  | 
 | 261 | 	if (user_param_count < required_param_count) { | 
 | 262 | 		ACPI_WARN_PREDEFINED((AE_INFO, pathname, ACPI_WARN_ALWAYS, | 
 | 263 | 				      "Insufficient arguments - " | 
 | 264 | 				      "Caller passed %u, ACPI requires %u", | 
 | 265 | 				      user_param_count, required_param_count)); | 
 | 266 | 	} else if ((user_param_count > required_param_count) && | 
 | 267 | 		   !(predefined->info.argument_list & ARG_COUNT_IS_MINIMUM)) { | 
 | 268 | 		ACPI_INFO_PREDEFINED((AE_INFO, pathname, ACPI_WARN_ALWAYS, | 
 | 269 | 				      "Excess arguments - " | 
 | 270 | 				      "Caller passed %u, ACPI requires %u", | 
 | 271 | 				      user_param_count, required_param_count)); | 
 | 272 | 	} | 
 | 273 | } |