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