1 // SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0 2 /****************************************************************************** 3 * 4 * Module Name: exresolv - AML Interpreter object resolution 5 * 6 * Copyright (C) 2000 - 2023, Intel Corp. 7 * 8 *****************************************************************************/ 9 10 #include <acpi/acpi.h> 11 #include "accommon.h" 12 #include "amlcode.h" 13 #include "acdispat.h" 14 #include "acinterp.h" 15 #include "acnamesp.h" 16 17 #define _COMPONENT ACPI_EXECUTER 18 ACPI_MODULE_NAME("exresolv") 19 20 /* Local prototypes */ 21 static acpi_status 22 acpi_ex_resolve_object_to_value(union acpi_operand_object **stack_ptr, 23 struct acpi_walk_state *walk_state); 24 25 /******************************************************************************* 26 * 27 * FUNCTION: acpi_ex_resolve_to_value 28 * 29 * PARAMETERS: **stack_ptr - Points to entry on obj_stack, which can 30 * be either an (union acpi_operand_object *) 31 * or an acpi_handle. 32 * walk_state - Current method state 33 * 34 * RETURN: Status 35 * 36 * DESCRIPTION: Convert Reference objects to values 37 * 38 ******************************************************************************/ 39 40 acpi_status 41 acpi_ex_resolve_to_value(union acpi_operand_object **stack_ptr, 42 struct acpi_walk_state *walk_state) 43 { 44 acpi_status status; 45 46 ACPI_FUNCTION_TRACE_PTR(ex_resolve_to_value, stack_ptr); 47 48 if (!stack_ptr || !*stack_ptr) { 49 ACPI_ERROR((AE_INFO, "Internal - null pointer")); 50 return_ACPI_STATUS(AE_AML_NO_OPERAND); 51 } 52 53 /* 54 * The entity pointed to by the stack_ptr can be either 55 * 1) A valid union acpi_operand_object, or 56 * 2) A struct acpi_namespace_node (named_obj) 57 */ 58 if (ACPI_GET_DESCRIPTOR_TYPE(*stack_ptr) == ACPI_DESC_TYPE_OPERAND) { 59 status = acpi_ex_resolve_object_to_value(stack_ptr, walk_state); 60 if (ACPI_FAILURE(status)) { 61 return_ACPI_STATUS(status); 62 } 63 64 if (!*stack_ptr) { 65 ACPI_ERROR((AE_INFO, "Internal - null pointer")); 66 return_ACPI_STATUS(AE_AML_NO_OPERAND); 67 } 68 } 69 70 /* 71 * Object on the stack may have changed if acpi_ex_resolve_object_to_value() 72 * was called (i.e., we can't use an _else_ here.) 73 */ 74 if (ACPI_GET_DESCRIPTOR_TYPE(*stack_ptr) == ACPI_DESC_TYPE_NAMED) { 75 status = 76 acpi_ex_resolve_node_to_value(ACPI_CAST_INDIRECT_PTR 77 (struct acpi_namespace_node, 78 stack_ptr), walk_state); 79 if (ACPI_FAILURE(status)) { 80 return_ACPI_STATUS(status); 81 } 82 } 83 84 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Resolved object %p\n", *stack_ptr)); 85 return_ACPI_STATUS(AE_OK); 86 } 87 88 /******************************************************************************* 89 * 90 * FUNCTION: acpi_ex_resolve_object_to_value 91 * 92 * PARAMETERS: stack_ptr - Pointer to an internal object 93 * walk_state - Current method state 94 * 95 * RETURN: Status 96 * 97 * DESCRIPTION: Retrieve the value from an internal object. The Reference type 98 * uses the associated AML opcode to determine the value. 99 * 100 ******************************************************************************/ 101 102 static acpi_status 103 acpi_ex_resolve_object_to_value(union acpi_operand_object **stack_ptr, 104 struct acpi_walk_state *walk_state) 105 { 106 acpi_status status = AE_OK; 107 union acpi_operand_object *stack_desc; 108 union acpi_operand_object *obj_desc = NULL; 109 u8 ref_type; 110 111 ACPI_FUNCTION_TRACE(ex_resolve_object_to_value); 112 113 stack_desc = *stack_ptr; 114 115 /* This is an object of type union acpi_operand_object */ 116 117 switch (stack_desc->common.type) { 118 case ACPI_TYPE_LOCAL_REFERENCE: 119 120 ref_type = stack_desc->reference.class; 121 122 switch (ref_type) { 123 case ACPI_REFCLASS_LOCAL: 124 case ACPI_REFCLASS_ARG: 125 /* 126 * Get the local from the method's state info 127 * Note: this increments the local's object reference count 128 */ 129 status = acpi_ds_method_data_get_value(ref_type, 130 stack_desc-> 131 reference.value, 132 walk_state, 133 &obj_desc); 134 if (ACPI_FAILURE(status)) { 135 return_ACPI_STATUS(status); 136 } 137 138 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, 139 "[Arg/Local %X] ValueObj is %p\n", 140 stack_desc->reference.value, 141 obj_desc)); 142 143 /* 144 * Now we can delete the original Reference Object and 145 * replace it with the resolved value 146 */ 147 acpi_ut_remove_reference(stack_desc); 148 *stack_ptr = obj_desc; 149 break; 150 151 case ACPI_REFCLASS_INDEX: 152 153 switch (stack_desc->reference.target_type) { 154 case ACPI_TYPE_BUFFER_FIELD: 155 156 /* Just return - do not dereference */ 157 break; 158 159 case ACPI_TYPE_PACKAGE: 160 161 /* If method call or copy_object - do not dereference */ 162 163 if ((walk_state->opcode == 164 AML_INT_METHODCALL_OP) 165 || (walk_state->opcode == 166 AML_COPY_OBJECT_OP)) { 167 break; 168 } 169 170 /* Otherwise, dereference the package_index to a package element */ 171 172 obj_desc = *stack_desc->reference.where; 173 if (obj_desc) { 174 /* 175 * Valid object descriptor, copy pointer to return value 176 * (i.e., dereference the package index) 177 * Delete the ref object, increment the returned object 178 */ 179 acpi_ut_add_reference(obj_desc); 180 *stack_ptr = obj_desc; 181 } else { 182 /* 183 * A NULL object descriptor means an uninitialized element of 184 * the package, can't dereference it 185 */ 186 ACPI_ERROR((AE_INFO, 187 "Attempt to dereference an Index to " 188 "NULL package element Idx=%p", 189 stack_desc)); 190 status = AE_AML_UNINITIALIZED_ELEMENT; 191 } 192 break; 193 194 default: 195 196 /* Invalid reference object */ 197 198 ACPI_ERROR((AE_INFO, 199 "Unknown TargetType 0x%X in Index/Reference object %p", 200 stack_desc->reference.target_type, 201 stack_desc)); 202 status = AE_AML_INTERNAL; 203 break; 204 } 205 break; 206 207 case ACPI_REFCLASS_REFOF: 208 case ACPI_REFCLASS_DEBUG: 209 case ACPI_REFCLASS_TABLE: 210 211 /* Just leave the object as-is, do not dereference */ 212 213 break; 214 215 case ACPI_REFCLASS_NAME: /* Reference to a named object */ 216 217 /* Dereference the name */ 218 219 if ((stack_desc->reference.node->type == 220 ACPI_TYPE_DEVICE) 221 || (stack_desc->reference.node->type == 222 ACPI_TYPE_THERMAL)) { 223 224 /* These node types do not have 'real' subobjects */ 225 226 *stack_ptr = (void *)stack_desc->reference.node; 227 } else { 228 /* Get the object pointed to by the namespace node */ 229 230 *stack_ptr = 231 (stack_desc->reference.node)->object; 232 acpi_ut_add_reference(*stack_ptr); 233 } 234 235 acpi_ut_remove_reference(stack_desc); 236 break; 237 238 default: 239 240 ACPI_ERROR((AE_INFO, 241 "Unknown Reference type 0x%X in %p", 242 ref_type, stack_desc)); 243 status = AE_AML_INTERNAL; 244 break; 245 } 246 break; 247 248 case ACPI_TYPE_BUFFER: 249 250 status = acpi_ds_get_buffer_arguments(stack_desc); 251 break; 252 253 case ACPI_TYPE_PACKAGE: 254 255 status = acpi_ds_get_package_arguments(stack_desc); 256 break; 257 258 case ACPI_TYPE_BUFFER_FIELD: 259 case ACPI_TYPE_LOCAL_REGION_FIELD: 260 case ACPI_TYPE_LOCAL_BANK_FIELD: 261 case ACPI_TYPE_LOCAL_INDEX_FIELD: 262 263 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, 264 "FieldRead SourceDesc=%p Type=%X\n", 265 stack_desc, stack_desc->common.type)); 266 267 status = 268 acpi_ex_read_data_from_field(walk_state, stack_desc, 269 &obj_desc); 270 271 /* Remove a reference to the original operand, then override */ 272 273 acpi_ut_remove_reference(*stack_ptr); 274 *stack_ptr = (void *)obj_desc; 275 break; 276 277 default: 278 279 break; 280 } 281 282 return_ACPI_STATUS(status); 283 } 284 285 /******************************************************************************* 286 * 287 * FUNCTION: acpi_ex_resolve_multiple 288 * 289 * PARAMETERS: walk_state - Current state (contains AML opcode) 290 * operand - Starting point for resolution 291 * return_type - Where the object type is returned 292 * return_desc - Where the resolved object is returned 293 * 294 * RETURN: Status 295 * 296 * DESCRIPTION: Return the base object and type. Traverse a reference list if 297 * necessary to get to the base object. 298 * 299 ******************************************************************************/ 300 301 acpi_status 302 acpi_ex_resolve_multiple(struct acpi_walk_state *walk_state, 303 union acpi_operand_object *operand, 304 acpi_object_type *return_type, 305 union acpi_operand_object **return_desc) 306 { 307 union acpi_operand_object *obj_desc = ACPI_CAST_PTR(void, operand); 308 struct acpi_namespace_node *node = 309 ACPI_CAST_PTR(struct acpi_namespace_node, operand); 310 acpi_object_type type; 311 acpi_status status; 312 313 ACPI_FUNCTION_TRACE(acpi_ex_resolve_multiple); 314 315 /* Operand can be either a namespace node or an operand descriptor */ 316 317 switch (ACPI_GET_DESCRIPTOR_TYPE(obj_desc)) { 318 case ACPI_DESC_TYPE_OPERAND: 319 320 type = obj_desc->common.type; 321 break; 322 323 case ACPI_DESC_TYPE_NAMED: 324 325 type = ((struct acpi_namespace_node *)obj_desc)->type; 326 obj_desc = acpi_ns_get_attached_object(node); 327 328 /* If we had an Alias node, use the attached object for type info */ 329 330 if (type == ACPI_TYPE_LOCAL_ALIAS) { 331 type = ((struct acpi_namespace_node *)obj_desc)->type; 332 obj_desc = acpi_ns_get_attached_object((struct 333 acpi_namespace_node 334 *)obj_desc); 335 } 336 337 switch (type) { 338 case ACPI_TYPE_DEVICE: 339 case ACPI_TYPE_THERMAL: 340 341 /* These types have no attached subobject */ 342 break; 343 344 default: 345 346 /* All other types require a subobject */ 347 348 if (!obj_desc) { 349 ACPI_ERROR((AE_INFO, 350 "[%4.4s] Node is unresolved or uninitialized", 351 acpi_ut_get_node_name(node))); 352 return_ACPI_STATUS(AE_AML_UNINITIALIZED_NODE); 353 } 354 break; 355 } 356 break; 357 358 default: 359 return_ACPI_STATUS(AE_AML_OPERAND_TYPE); 360 } 361 362 /* If type is anything other than a reference, we are done */ 363 364 if (type != ACPI_TYPE_LOCAL_REFERENCE) { 365 goto exit; 366 } 367 368 /* 369 * For reference objects created via the ref_of, Index, or Load/load_table 370 * operators, we need to get to the base object (as per the ACPI 371 * specification of the object_type and size_of operators). This means 372 * traversing the list of possibly many nested references. 373 */ 374 while (obj_desc->common.type == ACPI_TYPE_LOCAL_REFERENCE) { 375 switch (obj_desc->reference.class) { 376 case ACPI_REFCLASS_REFOF: 377 case ACPI_REFCLASS_NAME: 378 379 /* Dereference the reference pointer */ 380 381 if (obj_desc->reference.class == ACPI_REFCLASS_REFOF) { 382 node = obj_desc->reference.object; 383 } else { /* AML_INT_NAMEPATH_OP */ 384 385 node = obj_desc->reference.node; 386 } 387 388 /* All "References" point to a NS node */ 389 390 if (ACPI_GET_DESCRIPTOR_TYPE(node) != 391 ACPI_DESC_TYPE_NAMED) { 392 ACPI_ERROR((AE_INFO, 393 "Not a namespace node %p [%s]", 394 node, 395 acpi_ut_get_descriptor_name(node))); 396 return_ACPI_STATUS(AE_AML_INTERNAL); 397 } 398 399 /* Get the attached object */ 400 401 obj_desc = acpi_ns_get_attached_object(node); 402 if (!obj_desc) { 403 404 /* No object, use the NS node type */ 405 406 type = acpi_ns_get_type(node); 407 goto exit; 408 } 409 410 /* Check for circular references */ 411 412 if (obj_desc == operand) { 413 return_ACPI_STATUS(AE_AML_CIRCULAR_REFERENCE); 414 } 415 break; 416 417 case ACPI_REFCLASS_INDEX: 418 419 /* Get the type of this reference (index into another object) */ 420 421 type = obj_desc->reference.target_type; 422 if (type != ACPI_TYPE_PACKAGE) { 423 goto exit; 424 } 425 426 /* 427 * The main object is a package, we want to get the type 428 * of the individual package element that is referenced by 429 * the index. 430 * 431 * This could of course in turn be another reference object. 432 */ 433 obj_desc = *(obj_desc->reference.where); 434 if (!obj_desc) { 435 436 /* NULL package elements are allowed */ 437 438 type = 0; /* Uninitialized */ 439 goto exit; 440 } 441 break; 442 443 case ACPI_REFCLASS_TABLE: 444 445 type = ACPI_TYPE_DDB_HANDLE; 446 goto exit; 447 448 case ACPI_REFCLASS_LOCAL: 449 case ACPI_REFCLASS_ARG: 450 451 if (return_desc) { 452 status = 453 acpi_ds_method_data_get_value(obj_desc-> 454 reference. 455 class, 456 obj_desc-> 457 reference. 458 value, 459 walk_state, 460 &obj_desc); 461 if (ACPI_FAILURE(status)) { 462 return_ACPI_STATUS(status); 463 } 464 acpi_ut_remove_reference(obj_desc); 465 } else { 466 status = 467 acpi_ds_method_data_get_node(obj_desc-> 468 reference. 469 class, 470 obj_desc-> 471 reference. 472 value, 473 walk_state, 474 &node); 475 if (ACPI_FAILURE(status)) { 476 return_ACPI_STATUS(status); 477 } 478 479 obj_desc = acpi_ns_get_attached_object(node); 480 if (!obj_desc) { 481 type = ACPI_TYPE_ANY; 482 goto exit; 483 } 484 } 485 break; 486 487 case ACPI_REFCLASS_DEBUG: 488 489 /* The Debug Object is of type "DebugObject" */ 490 491 type = ACPI_TYPE_DEBUG_OBJECT; 492 goto exit; 493 494 default: 495 496 ACPI_ERROR((AE_INFO, 497 "Unknown Reference Class 0x%2.2X", 498 obj_desc->reference.class)); 499 return_ACPI_STATUS(AE_AML_INTERNAL); 500 } 501 } 502 503 /* 504 * Now we are guaranteed to have an object that has not been created 505 * via the ref_of or Index operators. 506 */ 507 type = obj_desc->common.type; 508 509 exit: 510 /* Convert internal types to external types */ 511 512 switch (type) { 513 case ACPI_TYPE_LOCAL_REGION_FIELD: 514 case ACPI_TYPE_LOCAL_BANK_FIELD: 515 case ACPI_TYPE_LOCAL_INDEX_FIELD: 516 517 type = ACPI_TYPE_FIELD_UNIT; 518 break; 519 520 case ACPI_TYPE_LOCAL_SCOPE: 521 522 /* Per ACPI Specification, Scope is untyped */ 523 524 type = ACPI_TYPE_ANY; 525 break; 526 527 default: 528 529 /* No change to Type required */ 530 531 break; 532 } 533 534 *return_type = type; 535 if (return_desc) { 536 *return_desc = obj_desc; 537 } 538 return_ACPI_STATUS(AE_OK); 539 } 540