1 /****************************************************************************** 2 * 3 * Module Name: exstore - AML Interpreter object store support 4 * 5 *****************************************************************************/ 6 7 /* 8 * Copyright (C) 2000 - 2017, 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 "acdispat.h" 47 #include "acinterp.h" 48 #include "amlcode.h" 49 #include "acnamesp.h" 50 51 #define _COMPONENT ACPI_EXECUTER 52 ACPI_MODULE_NAME("exstore") 53 54 /* Local prototypes */ 55 static acpi_status 56 acpi_ex_store_object_to_index(union acpi_operand_object *val_desc, 57 union acpi_operand_object *dest_desc, 58 struct acpi_walk_state *walk_state); 59 60 static acpi_status 61 acpi_ex_store_direct_to_node(union acpi_operand_object *source_desc, 62 struct acpi_namespace_node *node, 63 struct acpi_walk_state *walk_state); 64 65 /******************************************************************************* 66 * 67 * FUNCTION: acpi_ex_store 68 * 69 * PARAMETERS: *source_desc - Value to be stored 70 * *dest_desc - Where to store it. Must be an NS node 71 * or union acpi_operand_object of type 72 * Reference; 73 * walk_state - Current walk state 74 * 75 * RETURN: Status 76 * 77 * DESCRIPTION: Store the value described by source_desc into the location 78 * described by dest_desc. Called by various interpreter 79 * functions to store the result of an operation into 80 * the destination operand -- not just simply the actual "Store" 81 * ASL operator. 82 * 83 ******************************************************************************/ 84 85 acpi_status 86 acpi_ex_store(union acpi_operand_object *source_desc, 87 union acpi_operand_object *dest_desc, 88 struct acpi_walk_state *walk_state) 89 { 90 acpi_status status = AE_OK; 91 union acpi_operand_object *ref_desc = dest_desc; 92 93 ACPI_FUNCTION_TRACE_PTR(ex_store, dest_desc); 94 95 /* Validate parameters */ 96 97 if (!source_desc || !dest_desc) { 98 ACPI_ERROR((AE_INFO, "Null parameter")); 99 return_ACPI_STATUS(AE_AML_NO_OPERAND); 100 } 101 102 /* dest_desc can be either a namespace node or an ACPI object */ 103 104 if (ACPI_GET_DESCRIPTOR_TYPE(dest_desc) == ACPI_DESC_TYPE_NAMED) { 105 /* 106 * Dest is a namespace node, 107 * Storing an object into a Named node. 108 */ 109 status = acpi_ex_store_object_to_node(source_desc, 110 (struct 111 acpi_namespace_node *) 112 dest_desc, walk_state, 113 ACPI_IMPLICIT_CONVERSION); 114 115 return_ACPI_STATUS(status); 116 } 117 118 /* Destination object must be a Reference or a Constant object */ 119 120 switch (dest_desc->common.type) { 121 case ACPI_TYPE_LOCAL_REFERENCE: 122 123 break; 124 125 case ACPI_TYPE_INTEGER: 126 127 /* Allow stores to Constants -- a Noop as per ACPI spec */ 128 129 if (dest_desc->common.flags & AOPOBJ_AML_CONSTANT) { 130 return_ACPI_STATUS(AE_OK); 131 } 132 133 /*lint -fallthrough */ 134 135 default: 136 137 /* Destination is not a Reference object */ 138 139 ACPI_ERROR((AE_INFO, 140 "Target is not a Reference or Constant object - [%s] %p", 141 acpi_ut_get_object_type_name(dest_desc), 142 dest_desc)); 143 144 return_ACPI_STATUS(AE_AML_OPERAND_TYPE); 145 } 146 147 /* 148 * Examine the Reference class. These cases are handled: 149 * 150 * 1) Store to Name (Change the object associated with a name) 151 * 2) Store to an indexed area of a Buffer or Package 152 * 3) Store to a Method Local or Arg 153 * 4) Store to the debug object 154 */ 155 switch (ref_desc->reference.class) { 156 case ACPI_REFCLASS_REFOF: 157 158 /* Storing an object into a Name "container" */ 159 160 status = acpi_ex_store_object_to_node(source_desc, 161 ref_desc->reference. 162 object, walk_state, 163 ACPI_IMPLICIT_CONVERSION); 164 break; 165 166 case ACPI_REFCLASS_INDEX: 167 168 /* Storing to an Index (pointer into a packager or buffer) */ 169 170 status = 171 acpi_ex_store_object_to_index(source_desc, ref_desc, 172 walk_state); 173 break; 174 175 case ACPI_REFCLASS_LOCAL: 176 case ACPI_REFCLASS_ARG: 177 178 /* Store to a method local/arg */ 179 180 status = 181 acpi_ds_store_object_to_local(ref_desc->reference.class, 182 ref_desc->reference.value, 183 source_desc, walk_state); 184 break; 185 186 case ACPI_REFCLASS_DEBUG: 187 /* 188 * Storing to the Debug object causes the value stored to be 189 * displayed and otherwise has no effect -- see ACPI Specification 190 */ 191 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, 192 "**** Write to Debug Object: Object %p [%s] ****:\n\n", 193 source_desc, 194 acpi_ut_get_object_type_name(source_desc))); 195 196 ACPI_DEBUG_OBJECT(source_desc, 0, 0); 197 break; 198 199 default: 200 201 ACPI_ERROR((AE_INFO, "Unknown Reference Class 0x%2.2X", 202 ref_desc->reference.class)); 203 ACPI_DUMP_ENTRY(ref_desc, ACPI_LV_INFO); 204 205 status = AE_AML_INTERNAL; 206 break; 207 } 208 209 return_ACPI_STATUS(status); 210 } 211 212 /******************************************************************************* 213 * 214 * FUNCTION: acpi_ex_store_object_to_index 215 * 216 * PARAMETERS: *source_desc - Value to be stored 217 * *dest_desc - Named object to receive the value 218 * walk_state - Current walk state 219 * 220 * RETURN: Status 221 * 222 * DESCRIPTION: Store the object to indexed Buffer or Package element 223 * 224 ******************************************************************************/ 225 226 static acpi_status 227 acpi_ex_store_object_to_index(union acpi_operand_object *source_desc, 228 union acpi_operand_object *index_desc, 229 struct acpi_walk_state *walk_state) 230 { 231 acpi_status status = AE_OK; 232 union acpi_operand_object *obj_desc; 233 union acpi_operand_object *new_desc; 234 u8 value = 0; 235 u32 i; 236 237 ACPI_FUNCTION_TRACE(ex_store_object_to_index); 238 239 /* 240 * Destination must be a reference pointer, and 241 * must point to either a buffer or a package 242 */ 243 switch (index_desc->reference.target_type) { 244 case ACPI_TYPE_PACKAGE: 245 /* 246 * Storing to a package element. Copy the object and replace 247 * any existing object with the new object. No implicit 248 * conversion is performed. 249 * 250 * The object at *(index_desc->Reference.Where) is the 251 * element within the package that is to be modified. 252 * The parent package object is at index_desc->Reference.Object 253 */ 254 obj_desc = *(index_desc->reference.where); 255 256 if (source_desc->common.type == ACPI_TYPE_LOCAL_REFERENCE && 257 source_desc->reference.class == ACPI_REFCLASS_TABLE) { 258 259 /* This is a DDBHandle, just add a reference to it */ 260 261 acpi_ut_add_reference(source_desc); 262 new_desc = source_desc; 263 } else { 264 /* Normal object, copy it */ 265 266 status = 267 acpi_ut_copy_iobject_to_iobject(source_desc, 268 &new_desc, 269 walk_state); 270 if (ACPI_FAILURE(status)) { 271 return_ACPI_STATUS(status); 272 } 273 } 274 275 if (obj_desc) { 276 277 /* Decrement reference count by the ref count of the parent package */ 278 279 for (i = 0; i < ((union acpi_operand_object *) 280 index_desc->reference.object)->common. 281 reference_count; i++) { 282 acpi_ut_remove_reference(obj_desc); 283 } 284 } 285 286 *(index_desc->reference.where) = new_desc; 287 288 /* Increment ref count by the ref count of the parent package-1 */ 289 290 for (i = 1; i < ((union acpi_operand_object *) 291 index_desc->reference.object)->common. 292 reference_count; i++) { 293 acpi_ut_add_reference(new_desc); 294 } 295 296 break; 297 298 case ACPI_TYPE_BUFFER_FIELD: 299 /* 300 * Store into a Buffer or String (not actually a real buffer_field) 301 * at a location defined by an Index. 302 * 303 * The first 8-bit element of the source object is written to the 304 * 8-bit Buffer location defined by the Index destination object, 305 * according to the ACPI 2.0 specification. 306 */ 307 308 /* 309 * Make sure the target is a Buffer or String. An error should 310 * not happen here, since the reference_object was constructed 311 * by the INDEX_OP code. 312 */ 313 obj_desc = index_desc->reference.object; 314 if ((obj_desc->common.type != ACPI_TYPE_BUFFER) && 315 (obj_desc->common.type != ACPI_TYPE_STRING)) { 316 return_ACPI_STATUS(AE_AML_OPERAND_TYPE); 317 } 318 319 /* 320 * The assignment of the individual elements will be slightly 321 * different for each source type. 322 */ 323 switch (source_desc->common.type) { 324 case ACPI_TYPE_INTEGER: 325 326 /* Use the least-significant byte of the integer */ 327 328 value = (u8) (source_desc->integer.value); 329 break; 330 331 case ACPI_TYPE_BUFFER: 332 case ACPI_TYPE_STRING: 333 334 /* Note: Takes advantage of common string/buffer fields */ 335 336 value = source_desc->buffer.pointer[0]; 337 break; 338 339 default: 340 341 /* All other types are invalid */ 342 343 ACPI_ERROR((AE_INFO, 344 "Source must be type [Integer/Buffer/String], found [%s]", 345 acpi_ut_get_object_type_name(source_desc))); 346 return_ACPI_STATUS(AE_AML_OPERAND_TYPE); 347 } 348 349 /* Store the source value into the target buffer byte */ 350 351 obj_desc->buffer.pointer[index_desc->reference.value] = value; 352 break; 353 354 default: 355 ACPI_ERROR((AE_INFO, 356 "Target is not of type [Package/BufferField]")); 357 status = AE_AML_TARGET_TYPE; 358 break; 359 } 360 361 return_ACPI_STATUS(status); 362 } 363 364 /******************************************************************************* 365 * 366 * FUNCTION: acpi_ex_store_object_to_node 367 * 368 * PARAMETERS: source_desc - Value to be stored 369 * node - Named object to receive the value 370 * walk_state - Current walk state 371 * implicit_conversion - Perform implicit conversion (yes/no) 372 * 373 * RETURN: Status 374 * 375 * DESCRIPTION: Store the object to the named object. 376 * 377 * The assignment of an object to a named object is handled here. 378 * The value passed in will replace the current value (if any) 379 * with the input value. 380 * 381 * When storing into an object the data is converted to the 382 * target object type then stored in the object. This means 383 * that the target object type (for an initialized target) will 384 * not be changed by a store operation. A copy_object can change 385 * the target type, however. 386 * 387 * The implicit_conversion flag is set to NO/FALSE only when 388 * storing to an arg_x -- as per the rules of the ACPI spec. 389 * 390 * Assumes parameters are already validated. 391 * 392 ******************************************************************************/ 393 394 acpi_status 395 acpi_ex_store_object_to_node(union acpi_operand_object *source_desc, 396 struct acpi_namespace_node *node, 397 struct acpi_walk_state *walk_state, 398 u8 implicit_conversion) 399 { 400 acpi_status status = AE_OK; 401 union acpi_operand_object *target_desc; 402 union acpi_operand_object *new_desc; 403 acpi_object_type target_type; 404 405 ACPI_FUNCTION_TRACE_PTR(ex_store_object_to_node, source_desc); 406 407 /* Get current type of the node, and object attached to Node */ 408 409 target_type = acpi_ns_get_type(node); 410 target_desc = acpi_ns_get_attached_object(node); 411 412 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Storing %p [%s] to node %p [%s]\n", 413 source_desc, 414 acpi_ut_get_object_type_name(source_desc), node, 415 acpi_ut_get_type_name(target_type))); 416 417 /* Only limited target types possible for everything except copy_object */ 418 419 if (walk_state->opcode != AML_COPY_OP) { 420 /* 421 * Only copy_object allows all object types to be overwritten. For 422 * target_ref(s), there are restrictions on the object types that 423 * are allowed. 424 * 425 * Allowable operations/typing for Store: 426 * 427 * 1) Simple Store 428 * Integer --> Integer (Named/Local/Arg) 429 * String --> String (Named/Local/Arg) 430 * Buffer --> Buffer (Named/Local/Arg) 431 * Package --> Package (Named/Local/Arg) 432 * 433 * 2) Store with implicit conversion 434 * Integer --> String or Buffer (Named) 435 * String --> Integer or Buffer (Named) 436 * Buffer --> Integer or String (Named) 437 */ 438 switch (target_type) { 439 case ACPI_TYPE_PACKAGE: 440 /* 441 * Here, can only store a package to an existing package. 442 * Storing a package to a Local/Arg is OK, and handled 443 * elsewhere. 444 */ 445 if (walk_state->opcode == AML_STORE_OP) { 446 if (source_desc->common.type != 447 ACPI_TYPE_PACKAGE) { 448 ACPI_ERROR((AE_INFO, 449 "Cannot assign type [%s] to [Package] " 450 "(source must be type Pkg)", 451 acpi_ut_get_object_type_name 452 (source_desc))); 453 454 return_ACPI_STATUS(AE_AML_TARGET_TYPE); 455 } 456 break; 457 } 458 459 /* Fallthrough */ 460 461 case ACPI_TYPE_DEVICE: 462 case ACPI_TYPE_EVENT: 463 case ACPI_TYPE_MUTEX: 464 case ACPI_TYPE_REGION: 465 case ACPI_TYPE_POWER: 466 case ACPI_TYPE_PROCESSOR: 467 case ACPI_TYPE_THERMAL: 468 469 ACPI_ERROR((AE_INFO, 470 "Target must be [Buffer/Integer/String/Reference]" 471 ", found [%s] (%4.4s)", 472 acpi_ut_get_type_name(node->type), 473 node->name.ascii)); 474 475 return_ACPI_STATUS(AE_AML_TARGET_TYPE); 476 477 default: 478 break; 479 } 480 } 481 482 /* 483 * Resolve the source object to an actual value 484 * (If it is a reference object) 485 */ 486 status = acpi_ex_resolve_object(&source_desc, target_type, walk_state); 487 if (ACPI_FAILURE(status)) { 488 return_ACPI_STATUS(status); 489 } 490 491 /* Do the actual store operation */ 492 493 switch (target_type) { 494 /* 495 * The simple data types all support implicit source operand 496 * conversion before the store. 497 */ 498 case ACPI_TYPE_INTEGER: 499 case ACPI_TYPE_STRING: 500 case ACPI_TYPE_BUFFER: 501 502 if ((walk_state->opcode == AML_COPY_OP) || !implicit_conversion) { 503 /* 504 * However, copy_object and Stores to arg_x do not perform 505 * an implicit conversion, as per the ACPI specification. 506 * A direct store is performed instead. 507 */ 508 status = 509 acpi_ex_store_direct_to_node(source_desc, node, 510 walk_state); 511 break; 512 } 513 514 /* Store with implicit source operand conversion support */ 515 516 status = 517 acpi_ex_store_object_to_object(source_desc, target_desc, 518 &new_desc, walk_state); 519 if (ACPI_FAILURE(status)) { 520 return_ACPI_STATUS(status); 521 } 522 523 if (new_desc != target_desc) { 524 /* 525 * Store the new new_desc as the new value of the Name, and set 526 * the Name's type to that of the value being stored in it. 527 * source_desc reference count is incremented by attach_object. 528 * 529 * Note: This may change the type of the node if an explicit 530 * store has been performed such that the node/object type 531 * has been changed. 532 */ 533 status = 534 acpi_ns_attach_object(node, new_desc, 535 new_desc->common.type); 536 537 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, 538 "Store type [%s] into [%s] via Convert/Attach\n", 539 acpi_ut_get_object_type_name 540 (source_desc), 541 acpi_ut_get_object_type_name 542 (new_desc))); 543 } 544 break; 545 546 case ACPI_TYPE_BUFFER_FIELD: 547 case ACPI_TYPE_LOCAL_REGION_FIELD: 548 case ACPI_TYPE_LOCAL_BANK_FIELD: 549 case ACPI_TYPE_LOCAL_INDEX_FIELD: 550 /* 551 * For all fields, always write the source data to the target 552 * field. Any required implicit source operand conversion is 553 * performed in the function below as necessary. Note, field 554 * objects must retain their original type permanently. 555 */ 556 status = acpi_ex_write_data_to_field(source_desc, target_desc, 557 &walk_state->result_obj); 558 break; 559 560 default: 561 /* 562 * copy_object operator: No conversions for all other types. 563 * Instead, directly store a copy of the source object. 564 * 565 * This is the ACPI spec-defined behavior for the copy_object 566 * operator. (Note, for this default case, all normal 567 * Store/Target operations exited above with an error). 568 */ 569 status = 570 acpi_ex_store_direct_to_node(source_desc, node, walk_state); 571 break; 572 } 573 574 return_ACPI_STATUS(status); 575 } 576 577 /******************************************************************************* 578 * 579 * FUNCTION: acpi_ex_store_direct_to_node 580 * 581 * PARAMETERS: source_desc - Value to be stored 582 * node - Named object to receive the value 583 * walk_state - Current walk state 584 * 585 * RETURN: Status 586 * 587 * DESCRIPTION: "Store" an object directly to a node. This involves a copy 588 * and an attach. 589 * 590 ******************************************************************************/ 591 592 static acpi_status 593 acpi_ex_store_direct_to_node(union acpi_operand_object *source_desc, 594 struct acpi_namespace_node *node, 595 struct acpi_walk_state *walk_state) 596 { 597 acpi_status status; 598 union acpi_operand_object *new_desc; 599 600 ACPI_FUNCTION_TRACE(ex_store_direct_to_node); 601 602 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, 603 "Storing [%s] (%p) directly into node [%s] (%p)" 604 " with no implicit conversion\n", 605 acpi_ut_get_object_type_name(source_desc), 606 source_desc, acpi_ut_get_type_name(node->type), 607 node)); 608 609 /* Copy the source object to a new object */ 610 611 status = 612 acpi_ut_copy_iobject_to_iobject(source_desc, &new_desc, walk_state); 613 if (ACPI_FAILURE(status)) { 614 return_ACPI_STATUS(status); 615 } 616 617 /* Attach the new object to the node */ 618 619 status = acpi_ns_attach_object(node, new_desc, new_desc->common.type); 620 acpi_ut_remove_reference(new_desc); 621 return_ACPI_STATUS(status); 622 } 623