|  | // SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0 | 
|  | /****************************************************************************** | 
|  | * | 
|  | * Module Name: nsarguments - Validation of args for ACPI predefined methods | 
|  | * | 
|  | * Copyright (C) 2000 - 2022, Intel Corp. | 
|  | * | 
|  | *****************************************************************************/ | 
|  |  | 
|  | #include <acpi/acpi.h> | 
|  | #include "accommon.h" | 
|  | #include "acnamesp.h" | 
|  | #include "acpredef.h" | 
|  |  | 
|  | #define _COMPONENT          ACPI_NAMESPACE | 
|  | ACPI_MODULE_NAME("nsarguments") | 
|  |  | 
|  | /******************************************************************************* | 
|  | * | 
|  | * FUNCTION:    acpi_ns_check_argument_types | 
|  | * | 
|  | * PARAMETERS:  info            - Method execution information block | 
|  | * | 
|  | * RETURN:      None | 
|  | * | 
|  | * DESCRIPTION: Check the incoming argument count and all argument types | 
|  | *              against the argument type list for a predefined name. | 
|  | * | 
|  | ******************************************************************************/ | 
|  | void acpi_ns_check_argument_types(struct acpi_evaluate_info *info) | 
|  | { | 
|  | u16 arg_type_list; | 
|  | u8 arg_count; | 
|  | u8 arg_type; | 
|  | u8 user_arg_type; | 
|  | u32 i; | 
|  |  | 
|  | /* | 
|  | * If not a predefined name, cannot typecheck args, because | 
|  | * we have no idea what argument types are expected. | 
|  | * Also, ignore typecheck if warnings/errors if this method | 
|  | * has already been evaluated at least once -- in order | 
|  | * to suppress repetitive messages. | 
|  | */ | 
|  | if (!info->predefined || (info->node->flags & ANOBJ_EVALUATED)) { | 
|  | return; | 
|  | } | 
|  |  | 
|  | arg_type_list = info->predefined->info.argument_list; | 
|  | arg_count = METHOD_GET_ARG_COUNT(arg_type_list); | 
|  |  | 
|  | /* Typecheck all arguments */ | 
|  |  | 
|  | for (i = 0; ((i < arg_count) && (i < info->param_count)); i++) { | 
|  | arg_type = METHOD_GET_NEXT_TYPE(arg_type_list); | 
|  | user_arg_type = info->parameters[i]->common.type; | 
|  |  | 
|  | /* No typechecking for ACPI_TYPE_ANY */ | 
|  |  | 
|  | if ((user_arg_type != arg_type) && (arg_type != ACPI_TYPE_ANY)) { | 
|  | ACPI_WARN_PREDEFINED((AE_INFO, info->full_pathname, | 
|  | ACPI_WARN_ALWAYS, | 
|  | "Argument #%u type mismatch - " | 
|  | "Found [%s], ACPI requires [%s]", | 
|  | (i + 1), | 
|  | acpi_ut_get_type_name | 
|  | (user_arg_type), | 
|  | acpi_ut_get_type_name(arg_type))); | 
|  |  | 
|  | /* Prevent any additional typechecking for this method */ | 
|  |  | 
|  | info->node->flags |= ANOBJ_EVALUATED; | 
|  | } | 
|  | } | 
|  | } | 
|  |  | 
|  | /******************************************************************************* | 
|  | * | 
|  | * FUNCTION:    acpi_ns_check_acpi_compliance | 
|  | * | 
|  | * PARAMETERS:  pathname        - Full pathname to the node (for error msgs) | 
|  | *              node            - Namespace node for the method/object | 
|  | *              predefined      - Pointer to entry in predefined name table | 
|  | * | 
|  | * RETURN:      None | 
|  | * | 
|  | * DESCRIPTION: Check that the declared parameter count (in ASL/AML) for a | 
|  | *              predefined name is what is expected (matches what is defined in | 
|  | *              the ACPI specification for this predefined name.) | 
|  | * | 
|  | ******************************************************************************/ | 
|  |  | 
|  | void | 
|  | acpi_ns_check_acpi_compliance(char *pathname, | 
|  | struct acpi_namespace_node *node, | 
|  | const union acpi_predefined_info *predefined) | 
|  | { | 
|  | u32 aml_param_count; | 
|  | u32 required_param_count; | 
|  |  | 
|  | if (!predefined || (node->flags & ANOBJ_EVALUATED)) { | 
|  | return; | 
|  | } | 
|  |  | 
|  | /* Get the ACPI-required arg count from the predefined info table */ | 
|  |  | 
|  | required_param_count = | 
|  | METHOD_GET_ARG_COUNT(predefined->info.argument_list); | 
|  |  | 
|  | /* | 
|  | * If this object is not a control method, we can check if the ACPI | 
|  | * spec requires that it be a method. | 
|  | */ | 
|  | if (node->type != ACPI_TYPE_METHOD) { | 
|  | if (required_param_count > 0) { | 
|  |  | 
|  | /* Object requires args, must be implemented as a method */ | 
|  |  | 
|  | ACPI_BIOS_ERROR_PREDEFINED((AE_INFO, pathname, | 
|  | ACPI_WARN_ALWAYS, | 
|  | "Object (%s) must be a control method with %u arguments", | 
|  | acpi_ut_get_type_name(node-> | 
|  | type), | 
|  | required_param_count)); | 
|  | } else if (!required_param_count | 
|  | && !predefined->info.expected_btypes) { | 
|  |  | 
|  | /* Object requires no args and no return value, must be a method */ | 
|  |  | 
|  | ACPI_BIOS_ERROR_PREDEFINED((AE_INFO, pathname, | 
|  | ACPI_WARN_ALWAYS, | 
|  | "Object (%s) must be a control method " | 
|  | "with no arguments and no return value", | 
|  | acpi_ut_get_type_name(node-> | 
|  | type))); | 
|  | } | 
|  |  | 
|  | return; | 
|  | } | 
|  |  | 
|  | /* | 
|  | * This is a control method. | 
|  | * Check that the ASL/AML-defined parameter count for this method | 
|  | * matches the ACPI-required parameter count | 
|  | * | 
|  | * Some methods are allowed to have a "minimum" number of args (_SCP) | 
|  | * because their definition in ACPI has changed over time. | 
|  | * | 
|  | * Note: These are BIOS errors in the declaration of the object | 
|  | */ | 
|  | aml_param_count = node->object->method.param_count; | 
|  |  | 
|  | if (aml_param_count < required_param_count) { | 
|  | ACPI_BIOS_ERROR_PREDEFINED((AE_INFO, pathname, ACPI_WARN_ALWAYS, | 
|  | "Insufficient arguments - " | 
|  | "ASL declared %u, ACPI requires %u", | 
|  | aml_param_count, | 
|  | required_param_count)); | 
|  | } else if ((aml_param_count > required_param_count) | 
|  | && !(predefined->info. | 
|  | argument_list & ARG_COUNT_IS_MINIMUM)) { | 
|  | ACPI_BIOS_ERROR_PREDEFINED((AE_INFO, pathname, ACPI_WARN_ALWAYS, | 
|  | "Excess arguments - " | 
|  | "ASL declared %u, ACPI requires %u", | 
|  | aml_param_count, | 
|  | required_param_count)); | 
|  | } | 
|  | } | 
|  |  | 
|  | /******************************************************************************* | 
|  | * | 
|  | * FUNCTION:    acpi_ns_check_argument_count | 
|  | * | 
|  | * PARAMETERS:  pathname        - Full pathname to the node (for error msgs) | 
|  | *              node            - Namespace node for the method/object | 
|  | *              user_param_count - Number of args passed in by the caller | 
|  | *              predefined      - Pointer to entry in predefined name table | 
|  | * | 
|  | * RETURN:      None | 
|  | * | 
|  | * DESCRIPTION: Check that incoming argument count matches the declared | 
|  | *              parameter count (in the ASL/AML) for an object. | 
|  | * | 
|  | ******************************************************************************/ | 
|  |  | 
|  | void | 
|  | acpi_ns_check_argument_count(char *pathname, | 
|  | struct acpi_namespace_node *node, | 
|  | u32 user_param_count, | 
|  | const union acpi_predefined_info *predefined) | 
|  | { | 
|  | u32 aml_param_count; | 
|  | u32 required_param_count; | 
|  |  | 
|  | if (node->flags & ANOBJ_EVALUATED) { | 
|  | return; | 
|  | } | 
|  |  | 
|  | if (!predefined) { | 
|  | /* | 
|  | * Not a predefined name. Check the incoming user argument count | 
|  | * against the count that is specified in the method/object. | 
|  | */ | 
|  | if (node->type != ACPI_TYPE_METHOD) { | 
|  | if (user_param_count) { | 
|  | ACPI_INFO_PREDEFINED((AE_INFO, pathname, | 
|  | ACPI_WARN_ALWAYS, | 
|  | "%u arguments were passed to a non-method ACPI object (%s)", | 
|  | user_param_count, | 
|  | acpi_ut_get_type_name | 
|  | (node->type))); | 
|  | } | 
|  |  | 
|  | return; | 
|  | } | 
|  |  | 
|  | /* | 
|  | * This is a control method. Check the parameter count. | 
|  | * We can only check the incoming argument count against the | 
|  | * argument count declared for the method in the ASL/AML. | 
|  | * | 
|  | * Emit a message if too few or too many arguments have been passed | 
|  | * by the caller. | 
|  | * | 
|  | * Note: Too many arguments will not cause the method to | 
|  | * fail. However, the method will fail if there are too few | 
|  | * arguments and the method attempts to use one of the missing ones. | 
|  | */ | 
|  | aml_param_count = node->object->method.param_count; | 
|  |  | 
|  | if (user_param_count < aml_param_count) { | 
|  | ACPI_WARN_PREDEFINED((AE_INFO, pathname, | 
|  | ACPI_WARN_ALWAYS, | 
|  | "Insufficient arguments - " | 
|  | "Caller passed %u, method requires %u", | 
|  | user_param_count, | 
|  | aml_param_count)); | 
|  | } else if (user_param_count > aml_param_count) { | 
|  | ACPI_INFO_PREDEFINED((AE_INFO, pathname, | 
|  | ACPI_WARN_ALWAYS, | 
|  | "Excess arguments - " | 
|  | "Caller passed %u, method requires %u", | 
|  | user_param_count, | 
|  | aml_param_count)); | 
|  | } | 
|  |  | 
|  | return; | 
|  | } | 
|  |  | 
|  | /* | 
|  | * This is a predefined name. Validate the user-supplied parameter | 
|  | * count against the ACPI specification. We don't validate against | 
|  | * the method itself because what is important here is that the | 
|  | * caller is in conformance with the spec. (The arg count for the | 
|  | * method was checked against the ACPI spec earlier.) | 
|  | * | 
|  | * Some methods are allowed to have a "minimum" number of args (_SCP) | 
|  | * because their definition in ACPI has changed over time. | 
|  | */ | 
|  | required_param_count = | 
|  | METHOD_GET_ARG_COUNT(predefined->info.argument_list); | 
|  |  | 
|  | if (user_param_count < required_param_count) { | 
|  | ACPI_WARN_PREDEFINED((AE_INFO, pathname, ACPI_WARN_ALWAYS, | 
|  | "Insufficient arguments - " | 
|  | "Caller passed %u, ACPI requires %u", | 
|  | user_param_count, required_param_count)); | 
|  | } else if ((user_param_count > required_param_count) && | 
|  | !(predefined->info.argument_list & ARG_COUNT_IS_MINIMUM)) { | 
|  | ACPI_INFO_PREDEFINED((AE_INFO, pathname, ACPI_WARN_ALWAYS, | 
|  | "Excess arguments - " | 
|  | "Caller passed %u, ACPI requires %u", | 
|  | user_param_count, required_param_count)); | 
|  | } | 
|  | } |