1 /****************************************************************************** 2 * 3 * Module Name: exstore - AML Interpreter object store support 4 * 5 *****************************************************************************/ 6 7 /* 8 * Copyright (C) 2000 - 2015, 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], found [%s] (%4.4s)", 471 acpi_ut_get_type_name(node->type), 472 node->name.ascii)); 473 474 return_ACPI_STATUS(AE_AML_TARGET_TYPE); 475 476 default: 477 break; 478 } 479 } 480 481 /* 482 * Resolve the source object to an actual value 483 * (If it is a reference object) 484 */ 485 status = acpi_ex_resolve_object(&source_desc, target_type, walk_state); 486 if (ACPI_FAILURE(status)) { 487 return_ACPI_STATUS(status); 488 } 489 490 /* Do the actual store operation */ 491 492 switch (target_type) { 493 /* 494 * The simple data types all support implicit source operand 495 * conversion before the store. 496 */ 497 case ACPI_TYPE_INTEGER: 498 case ACPI_TYPE_STRING: 499 case ACPI_TYPE_BUFFER: 500 501 if ((walk_state->opcode == AML_COPY_OP) || !implicit_conversion) { 502 /* 503 * However, copy_object and Stores to arg_x do not perform 504 * an implicit conversion, as per the ACPI specification. 505 * A direct store is performed instead. 506 */ 507 status = acpi_ex_store_direct_to_node(source_desc, node, 508 walk_state); 509 break; 510 } 511 512 /* Store with implicit source operand conversion support */ 513 514 status = 515 acpi_ex_store_object_to_object(source_desc, target_desc, 516 &new_desc, walk_state); 517 if (ACPI_FAILURE(status)) { 518 return_ACPI_STATUS(status); 519 } 520 521 if (new_desc != target_desc) { 522 /* 523 * Store the new new_desc as the new value of the Name, and set 524 * the Name's type to that of the value being stored in it. 525 * source_desc reference count is incremented by attach_object. 526 * 527 * Note: This may change the type of the node if an explicit 528 * store has been performed such that the node/object type 529 * has been changed. 530 */ 531 status = acpi_ns_attach_object(node, new_desc, 532 new_desc->common.type); 533 534 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, 535 "Store type [%s] into [%s] via Convert/Attach\n", 536 acpi_ut_get_object_type_name 537 (source_desc), 538 acpi_ut_get_object_type_name 539 (new_desc))); 540 } 541 break; 542 543 case ACPI_TYPE_BUFFER_FIELD: 544 case ACPI_TYPE_LOCAL_REGION_FIELD: 545 case ACPI_TYPE_LOCAL_BANK_FIELD: 546 case ACPI_TYPE_LOCAL_INDEX_FIELD: 547 /* 548 * For all fields, always write the source data to the target 549 * field. Any required implicit source operand conversion is 550 * performed in the function below as necessary. Note, field 551 * objects must retain their original type permanently. 552 */ 553 status = acpi_ex_write_data_to_field(source_desc, target_desc, 554 &walk_state->result_obj); 555 break; 556 557 default: 558 /* 559 * copy_object operator: No conversions for all other types. 560 * Instead, directly store a copy of the source object. 561 * 562 * This is the ACPI spec-defined behavior for the copy_object 563 * operator. (Note, for this default case, all normal 564 * Store/Target operations exited above with an error). 565 */ 566 status = acpi_ex_store_direct_to_node(source_desc, node, 567 walk_state); 568 break; 569 } 570 571 return_ACPI_STATUS(status); 572 } 573 574 /******************************************************************************* 575 * 576 * FUNCTION: acpi_ex_store_direct_to_node 577 * 578 * PARAMETERS: source_desc - Value to be stored 579 * node - Named object to receive the value 580 * walk_state - Current walk state 581 * 582 * RETURN: Status 583 * 584 * DESCRIPTION: "Store" an object directly to a node. This involves a copy 585 * and an attach. 586 * 587 ******************************************************************************/ 588 589 static acpi_status 590 acpi_ex_store_direct_to_node(union acpi_operand_object *source_desc, 591 struct acpi_namespace_node *node, 592 struct acpi_walk_state *walk_state) 593 { 594 acpi_status status; 595 union acpi_operand_object *new_desc; 596 597 ACPI_FUNCTION_TRACE(ex_store_direct_to_node); 598 599 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, 600 "Storing [%s] (%p) directly into node [%s] (%p)" 601 " with no implicit conversion\n", 602 acpi_ut_get_object_type_name(source_desc), 603 source_desc, acpi_ut_get_type_name(node->type), 604 node)); 605 606 /* Copy the source object to a new object */ 607 608 status = 609 acpi_ut_copy_iobject_to_iobject(source_desc, &new_desc, walk_state); 610 if (ACPI_FAILURE(status)) { 611 return_ACPI_STATUS(status); 612 } 613 614 /* Attach the new object to the node */ 615 616 status = acpi_ns_attach_object(node, new_desc, new_desc->common.type); 617 acpi_ut_remove_reference(new_desc); 618 return_ACPI_STATUS(status); 619 } 620