Quelle  exoparg2.c   Sprache: C

// SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0
/******************************************************************************
 *
 * Module Name: exoparg2 - AML execution - opcodes with 2 arguments
 *
 * Copyright (C) 2000 - 2025, Intel Corp.
 *
 *****************************************************************************/

#include <acpi/acpi.h>
#include "accommon.h"
#include "acparser.h"
#include "acinterp.h"
#include "acevents.h"
#include "amlcode.h"

#define _COMPONENT          ACPI_EXECUTER
ACPI_MODULE_NAME("exoparg2")

/*!
 * Naming convention for AML interpreter execution routines.
 *
 * The routines that begin execution of AML opcodes are named with a common
 * convention based upon the number of arguments, the number of target operands,
 * and whether or not a value is returned:
 *
 *      AcpiExOpcode_xA_yT_zR
 *
 * Where:
 *
 * xA - ARGUMENTS:    The number of arguments (input operands) that are
 *                    required for this opcode type (1 through 6 args).
 * yT - TARGETS:      The number of targets (output operands) that are required
 *                    for this opcode type (0, 1, or 2 targets).
 * zR - RETURN VALUE: Indicates whether this opcode type returns a value
 *                    as the function return (0 or 1).
 *
 * The AcpiExOpcode* functions are called via the Dispatcher component with
 * fully resolved operands.
!*/
/*******************************************************************************
 *
 * FUNCTION:    acpi_ex_opcode_2A_0T_0R
 *
 * PARAMETERS:  walk_state          - Current walk state
 *
 * RETURN:      Status
 *
 * DESCRIPTION: Execute opcode with two arguments, no target, and no return
 *              value.
 *
 * ALLOCATION:  Deletes both operands
 *
 ******************************************************************************/
acpi_status acpi_ex_opcode_2A_0T_0R(struct acpi_walk_state *walk_state)
{
 union acpi_operand_object **operand = &walk_state->operands[0];
 struct acpi_namespace_node *node;
 u32 value;
 acpi_status status = AE_OK;

 ACPI_FUNCTION_TRACE_STR(ex_opcode_2A_0T_0R,
    acpi_ps_get_opcode_name(walk_state->opcode));

 /* Examine the opcode */

 switch (walk_state->opcode) {
 case AML_NOTIFY_OP: /* Notify (notify_object, notify_value) */

  /* The first operand is a namespace node */

  node = (struct acpi_namespace_node *)operand[0];

  /* Second value is the notify value */

  value = (u32) operand[1]->integer.value;

  /* Are notifies allowed on this object? */

  if (!acpi_ev_is_notify_object(node)) {
   ACPI_ERROR((AE_INFO,
        "Unexpected notify object type [%s]",
        acpi_ut_get_type_name(node->type)));

   status = AE_AML_OPERAND_TYPE;
   break;
  }

  /*
 * Dispatch the notify to the appropriate handler
 * NOTE: the request is queued for execution after this method
 * completes. The notify handlers are NOT invoked synchronously
 * from this thread -- because handlers may in turn run other
 * control methods.
 */
  status = acpi_ev_queue_notify_request(node, value);
  break;

 default:

  ACPI_ERROR((AE_INFO, "Unknown AML opcode 0x%X",
       walk_state->opcode));
  status = AE_AML_BAD_OPCODE;
 }

 return_ACPI_STATUS(status);
}

/*******************************************************************************
 *
 * FUNCTION:    acpi_ex_opcode_2A_2T_1R
 *
 * PARAMETERS:  walk_state          - Current walk state
 *
 * RETURN:      Status
 *
 * DESCRIPTION: Execute a dyadic operator (2 operands) with 2 output targets
 *              and one implicit return value.
 *
 ******************************************************************************/

acpi_status acpi_ex_opcode_2A_2T_1R(struct acpi_walk_state *walk_state)
{
 union acpi_operand_object **operand = &walk_state->operands[0];
 union acpi_operand_object *return_desc1 = NULL;
 union acpi_operand_object *return_desc2 = NULL;
 acpi_status status;

 ACPI_FUNCTION_TRACE_STR(ex_opcode_2A_2T_1R,
    acpi_ps_get_opcode_name(walk_state->opcode));

 /* Execute the opcode */

 switch (walk_state->opcode) {
 case AML_DIVIDE_OP:

  /* Divide (Dividend, Divisor, remainder_result quotient_result) */

  return_desc1 =
      acpi_ut_create_internal_object(ACPI_TYPE_INTEGER);
  if (!return_desc1) {
   status = AE_NO_MEMORY;
   goto cleanup;
  }

  return_desc2 =
      acpi_ut_create_internal_object(ACPI_TYPE_INTEGER);
  if (!return_desc2) {
   status = AE_NO_MEMORY;
   goto cleanup;
  }

  /* Quotient to return_desc1, remainder to return_desc2 */

  status = acpi_ut_divide(operand[0]->integer.value,
     operand[1]->integer.value,
     &return_desc1->integer.value,
     &return_desc2->integer.value);
  if (ACPI_FAILURE(status)) {
   goto cleanup;
  }
  break;

 default:

  ACPI_ERROR((AE_INFO, "Unknown AML opcode 0x%X",
       walk_state->opcode));

  status = AE_AML_BAD_OPCODE;
  goto cleanup;
 }

 /* Store the results to the target reference operands */

 status = acpi_ex_store(return_desc2, operand[2], walk_state);
 if (ACPI_FAILURE(status)) {
  goto cleanup;
 }

 status = acpi_ex_store(return_desc1, operand[3], walk_state);
 if (ACPI_FAILURE(status)) {
  goto cleanup;
 }

cleanup:
 /*
 * Since the remainder is not returned indirectly, remove a reference to
 * it. Only the quotient is returned indirectly.
 */
 acpi_ut_remove_reference(return_desc2);

 if (ACPI_FAILURE(status)) {

  /* Delete the return object */

  acpi_ut_remove_reference(return_desc1);
 }

 /* Save return object (the remainder) on success */

 else {
  walk_state->result_obj = return_desc1;
 }

 return_ACPI_STATUS(status);
}

/*******************************************************************************
 *
 * FUNCTION:    acpi_ex_opcode_2A_1T_1R
 *
 * PARAMETERS:  walk_state          - Current walk state
 *
 * RETURN:      Status
 *
 * DESCRIPTION: Execute opcode with two arguments, one target, and a return
 *              value.
 *
 ******************************************************************************/

acpi_status acpi_ex_opcode_2A_1T_1R(struct acpi_walk_state *walk_state)
{
 union acpi_operand_object **operand = &walk_state->operands[0];
 union acpi_operand_object *return_desc = NULL;
 u64 index;
 acpi_status status = AE_OK;
 acpi_size length = 0;

 ACPI_FUNCTION_TRACE_STR(ex_opcode_2A_1T_1R,
    acpi_ps_get_opcode_name(walk_state->opcode));

 /* Execute the opcode */

 if (walk_state->op_info->flags & AML_MATH) {

  /* All simple math opcodes (add, etc.) */

  return_desc = acpi_ut_create_internal_object(ACPI_TYPE_INTEGER);
  if (!return_desc) {
   status = AE_NO_MEMORY;
   goto cleanup;
  }

  return_desc->integer.value =
      acpi_ex_do_math_op(walk_state->opcode,
           operand[0]->integer.value,
           operand[1]->integer.value);
  goto store_result_to_target;
 }

 switch (walk_state->opcode) {
 case AML_MOD_OP: /* Mod (Dividend, Divisor, remainder_result (ACPI 2.0) */

  return_desc = acpi_ut_create_internal_object(ACPI_TYPE_INTEGER);
  if (!return_desc) {
   status = AE_NO_MEMORY;
   goto cleanup;
  }

  /* return_desc will contain the remainder */

  status = acpi_ut_divide(operand[0]->integer.value,
     operand[1]->integer.value,
     NULL, &return_desc->integer.value);
  break;

 case AML_CONCATENATE_OP: /* Concatenate (Data1, Data2, Result) */

  status =
      acpi_ex_do_concatenate(operand[0], operand[1], &return_desc,
        walk_state);
  break;

 case AML_TO_STRING_OP: /* to_string (Buffer, Length, Result) (ACPI 2.0) */
  /*
 * Input object is guaranteed to be a buffer at this point (it may have
 * been converted.)  Copy the raw buffer data to a new object of
 * type String.
 */

  /*
 * Get the length of the new string. It is the smallest of:
 * 1) Length of the input buffer
 * 2) Max length as specified in the to_string operator
 * 3) Length of input buffer up to a zero byte (null terminator)
 *
 * NOTE: A length of zero is ok, and will create a zero-length, null
 *       terminated string.
 */
  while ((length < operand[0]->buffer.length) && /* Length of input buffer */
         (length < operand[1]->integer.value) && /* Length operand */
         (operand[0]->buffer.pointer[length])) { /* Null terminator */
   length++;
  }

  /* Allocate a new string object */

  return_desc = acpi_ut_create_string_object(length);
  if (!return_desc) {
   status = AE_NO_MEMORY;
   goto cleanup;
  }

  /*
 * Copy the raw buffer data with no transform.
 * (NULL terminated already)
 */
  memcpy(return_desc->string.pointer,
         operand[0]->buffer.pointer, length);
  break;

 case AML_CONCATENATE_TEMPLATE_OP:

  /* concatenate_res_template (Buffer, Buffer, Result) (ACPI 2.0) */

  status =
      acpi_ex_concat_template(operand[0], operand[1],
         &return_desc, walk_state);
  break;

 case AML_INDEX_OP: /* Index (Source Index Result) */

  /* Create the internal return object */

  return_desc =
      acpi_ut_create_internal_object(ACPI_TYPE_LOCAL_REFERENCE);
  if (!return_desc) {
   status = AE_NO_MEMORY;
   goto cleanup;
  }

  /* Initialize the Index reference object */

  index = operand[1]->integer.value;
  return_desc->reference.value = (u32) index;
  return_desc->reference.class = ACPI_REFCLASS_INDEX;

  /*
 * At this point, the Source operand is a String, Buffer, or Package.
 * Verify that the index is within range.
 */
  switch ((operand[0])->common.type) {
  case ACPI_TYPE_STRING:

   if (index >= operand[0]->string.length) {
    length = operand[0]->string.length;
    status = AE_AML_STRING_LIMIT;
   }

   return_desc->reference.target_type =
       ACPI_TYPE_BUFFER_FIELD;
   return_desc->reference.index_pointer =
       &(operand[0]->buffer.pointer[index]);
   break;

  case ACPI_TYPE_BUFFER:

   if (index >= operand[0]->buffer.length) {
    length = operand[0]->buffer.length;
    status = AE_AML_BUFFER_LIMIT;
   }

   return_desc->reference.target_type =
       ACPI_TYPE_BUFFER_FIELD;
   return_desc->reference.index_pointer =
       &(operand[0]->buffer.pointer[index]);
   break;

  case ACPI_TYPE_PACKAGE:

   if (index >= operand[0]->package.count) {
    length = operand[0]->package.count;
    status = AE_AML_PACKAGE_LIMIT;
   }

   return_desc->reference.target_type = ACPI_TYPE_PACKAGE;
   return_desc->reference.where =
       &operand[0]->package.elements[index];
   break;

  default:

   ACPI_ERROR((AE_INFO,
        "Invalid object type: %X",
        (operand[0])->common.type));
   status = AE_AML_INTERNAL;
   goto cleanup;
  }

  /* Failure means that the Index was beyond the end of the object */

  if (ACPI_FAILURE(status)) {
   ACPI_BIOS_EXCEPTION((AE_INFO, status,
          "Index (0x%X%8.8X) is beyond end of object (length 0x%X)",
          ACPI_FORMAT_UINT64(index),
          (u32)length));
   goto cleanup;
  }

  /*
 * Save the target object and add a reference to it for the life
 * of the index
 */
  return_desc->reference.object = operand[0];
  acpi_ut_add_reference(operand[0]);

  /* Store the reference to the Target */

  status = acpi_ex_store(return_desc, operand[2], walk_state);

  /* Return the reference */

  walk_state->result_obj = return_desc;
  goto cleanup;

 default:

  ACPI_ERROR((AE_INFO, "Unknown AML opcode 0x%X",
       walk_state->opcode));
  status = AE_AML_BAD_OPCODE;
  break;
 }

store_result_to_target:

 if (ACPI_SUCCESS(status)) {
  /*
 * Store the result of the operation (which is now in return_desc) into
 * the Target descriptor.
 */
  status = acpi_ex_store(return_desc, operand[2], walk_state);
  if (ACPI_FAILURE(status)) {
   goto cleanup;
  }

  if (!walk_state->result_obj) {
   walk_state->result_obj = return_desc;
  }
 }

cleanup:

 /* Delete return object on error */

 if (ACPI_FAILURE(status)) {
  acpi_ut_remove_reference(return_desc);
  walk_state->result_obj = NULL;
 }

 return_ACPI_STATUS(status);
}

/*******************************************************************************
 *
 * FUNCTION:    acpi_ex_opcode_2A_0T_1R
 *
 * PARAMETERS:  walk_state          - Current walk state
 *
 * RETURN:      Status
 *
 * DESCRIPTION: Execute opcode with 2 arguments, no target, and a return value
 *
 ******************************************************************************/

acpi_status acpi_ex_opcode_2A_0T_1R(struct acpi_walk_state *walk_state)
{
 union acpi_operand_object **operand = &walk_state->operands[0];
 union acpi_operand_object *return_desc = NULL;
 acpi_status status = AE_OK;
 u8 logical_result = FALSE;

 ACPI_FUNCTION_TRACE_STR(ex_opcode_2A_0T_1R,
    acpi_ps_get_opcode_name(walk_state->opcode));

 /* Create the internal return object */

 return_desc = acpi_ut_create_internal_object(ACPI_TYPE_INTEGER);
 if (!return_desc) {
  status = AE_NO_MEMORY;
  goto cleanup;
 }

 /* Execute the Opcode */

 if (walk_state->op_info->flags & AML_LOGICAL_NUMERIC) {

  /* logical_op (Operand0, Operand1) */

  status = acpi_ex_do_logical_numeric_op(walk_state->opcode,
             operand[0]->integer.
             value,
             operand[1]->integer.
             value, &logical_result);
  goto store_logical_result;
 } else if (walk_state->op_info->flags & AML_LOGICAL) {

  /* logical_op (Operand0, Operand1) */

  status = acpi_ex_do_logical_op(walk_state->opcode, operand[0],
            operand[1], &logical_result);
  goto store_logical_result;
 }

 switch (walk_state->opcode) {
 case AML_ACQUIRE_OP: /* Acquire (mutex_object, Timeout) */

  status =
      acpi_ex_acquire_mutex(operand[1], operand[0], walk_state);
  if (status == AE_TIME) {
   logical_result = TRUE; /* TRUE = Acquire timed out */
   status = AE_OK;
  }
  break;

 case AML_WAIT_OP: /* Wait (event_object, Timeout) */

  status = acpi_ex_system_wait_event(operand[1], operand[0]);
  if (status == AE_TIME) {
   logical_result = TRUE; /* TRUE, Wait timed out */
   status = AE_OK;
  }
  break;

 default:

  ACPI_ERROR((AE_INFO, "Unknown AML opcode 0x%X",
       walk_state->opcode));

  status = AE_AML_BAD_OPCODE;
  goto cleanup;
 }

store_logical_result:
 /*
 * Set return value to according to logical_result. logical TRUE (all ones)
 * Default is FALSE (zero)
 */
 if (logical_result) {
  return_desc->integer.value = ACPI_UINT64_MAX;
 }

cleanup:

 /* Delete return object on error */

 if (ACPI_FAILURE(status)) {
  acpi_ut_remove_reference(return_desc);
 }

 /* Save return object on success */

 else {
  walk_state->result_obj = return_desc;
 }

 return_ACPI_STATUS(status);
}