1 /******************************************************************************
3 * Module Name: exresolv - AML Interpreter object resolution
5 *****************************************************************************/
8 * Copyright (C) 2000 - 2016, Intel Corp.
11 * Redistribution and use in source and binary forms, with or without
12 * modification, are permitted provided that the following conditions
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.
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.
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.
44 #include <acpi/acpi.h>
51 #define _COMPONENT ACPI_EXECUTER
52 ACPI_MODULE_NAME("exresolv")
54 /* Local prototypes */
56 acpi_ex_resolve_object_to_value(union acpi_operand_object
**stack_ptr
,
57 struct acpi_walk_state
*walk_state
);
59 /*******************************************************************************
61 * FUNCTION: acpi_ex_resolve_to_value
63 * PARAMETERS: **stack_ptr - Points to entry on obj_stack, which can
64 * be either an (union acpi_operand_object *)
66 * walk_state - Current method state
70 * DESCRIPTION: Convert Reference objects to values
72 ******************************************************************************/
75 acpi_ex_resolve_to_value(union acpi_operand_object
**stack_ptr
,
76 struct acpi_walk_state
*walk_state
)
80 ACPI_FUNCTION_TRACE_PTR(ex_resolve_to_value
, stack_ptr
);
82 if (!stack_ptr
|| !*stack_ptr
) {
83 ACPI_ERROR((AE_INFO
, "Internal - null pointer"));
84 return_ACPI_STATUS(AE_AML_NO_OPERAND
);
88 * The entity pointed to by the stack_ptr can be either
89 * 1) A valid union acpi_operand_object, or
90 * 2) A struct acpi_namespace_node (named_obj)
92 if (ACPI_GET_DESCRIPTOR_TYPE(*stack_ptr
) == ACPI_DESC_TYPE_OPERAND
) {
93 status
= acpi_ex_resolve_object_to_value(stack_ptr
, walk_state
);
94 if (ACPI_FAILURE(status
)) {
95 return_ACPI_STATUS(status
);
99 ACPI_ERROR((AE_INFO
, "Internal - null pointer"));
100 return_ACPI_STATUS(AE_AML_NO_OPERAND
);
105 * Object on the stack may have changed if acpi_ex_resolve_object_to_value()
106 * was called (i.e., we can't use an _else_ here.)
108 if (ACPI_GET_DESCRIPTOR_TYPE(*stack_ptr
) == ACPI_DESC_TYPE_NAMED
) {
110 acpi_ex_resolve_node_to_value(ACPI_CAST_INDIRECT_PTR
111 (struct acpi_namespace_node
,
112 stack_ptr
), walk_state
);
113 if (ACPI_FAILURE(status
)) {
114 return_ACPI_STATUS(status
);
118 ACPI_DEBUG_PRINT((ACPI_DB_EXEC
, "Resolved object %p\n", *stack_ptr
));
119 return_ACPI_STATUS(AE_OK
);
122 /*******************************************************************************
124 * FUNCTION: acpi_ex_resolve_object_to_value
126 * PARAMETERS: stack_ptr - Pointer to an internal object
127 * walk_state - Current method state
131 * DESCRIPTION: Retrieve the value from an internal object. The Reference type
132 * uses the associated AML opcode to determine the value.
134 ******************************************************************************/
137 acpi_ex_resolve_object_to_value(union acpi_operand_object
**stack_ptr
,
138 struct acpi_walk_state
*walk_state
)
140 acpi_status status
= AE_OK
;
141 union acpi_operand_object
*stack_desc
;
142 union acpi_operand_object
*obj_desc
= NULL
;
145 ACPI_FUNCTION_TRACE(ex_resolve_object_to_value
);
147 stack_desc
= *stack_ptr
;
149 /* This is an object of type union acpi_operand_object */
151 switch (stack_desc
->common
.type
) {
152 case ACPI_TYPE_LOCAL_REFERENCE
:
154 ref_type
= stack_desc
->reference
.class;
157 case ACPI_REFCLASS_LOCAL
:
158 case ACPI_REFCLASS_ARG
:
160 * Get the local from the method's state info
161 * Note: this increments the local's object reference count
163 status
= acpi_ds_method_data_get_value(ref_type
,
168 if (ACPI_FAILURE(status
)) {
169 return_ACPI_STATUS(status
);
172 ACPI_DEBUG_PRINT((ACPI_DB_EXEC
,
173 "[Arg/Local %X] ValueObj is %p\n",
174 stack_desc
->reference
.value
,
178 * Now we can delete the original Reference Object and
179 * replace it with the resolved value
181 acpi_ut_remove_reference(stack_desc
);
182 *stack_ptr
= obj_desc
;
185 case ACPI_REFCLASS_INDEX
:
187 switch (stack_desc
->reference
.target_type
) {
188 case ACPI_TYPE_BUFFER_FIELD
:
190 /* Just return - do not dereference */
193 case ACPI_TYPE_PACKAGE
:
195 /* If method call or copy_object - do not dereference */
197 if ((walk_state
->opcode
==
198 AML_INT_METHODCALL_OP
)
199 || (walk_state
->opcode
== AML_COPY_OP
)) {
203 /* Otherwise, dereference the package_index to a package element */
205 obj_desc
= *stack_desc
->reference
.where
;
208 * Valid object descriptor, copy pointer to return value
209 * (i.e., dereference the package index)
210 * Delete the ref object, increment the returned object
212 acpi_ut_add_reference(obj_desc
);
213 *stack_ptr
= obj_desc
;
216 * A NULL object descriptor means an uninitialized element of
217 * the package, can't dereference it
220 "Attempt to dereference an Index to "
221 "NULL package element Idx=%p",
223 status
= AE_AML_UNINITIALIZED_ELEMENT
;
229 /* Invalid reference object */
232 "Unknown TargetType 0x%X in Index/Reference object %p",
233 stack_desc
->reference
.target_type
,
235 status
= AE_AML_INTERNAL
;
240 case ACPI_REFCLASS_REFOF
:
241 case ACPI_REFCLASS_DEBUG
:
242 case ACPI_REFCLASS_TABLE
:
244 /* Just leave the object as-is, do not dereference */
248 case ACPI_REFCLASS_NAME
: /* Reference to a named object */
250 /* Dereference the name */
252 if ((stack_desc
->reference
.node
->type
==
254 || (stack_desc
->reference
.node
->type
==
255 ACPI_TYPE_THERMAL
)) {
257 /* These node types do not have 'real' subobjects */
259 *stack_ptr
= (void *)stack_desc
->reference
.node
;
261 /* Get the object pointed to by the namespace node */
264 (stack_desc
->reference
.node
)->object
;
265 acpi_ut_add_reference(*stack_ptr
);
268 acpi_ut_remove_reference(stack_desc
);
274 "Unknown Reference type 0x%X in %p",
275 ref_type
, stack_desc
));
276 status
= AE_AML_INTERNAL
;
281 case ACPI_TYPE_BUFFER
:
283 status
= acpi_ds_get_buffer_arguments(stack_desc
);
286 case ACPI_TYPE_PACKAGE
:
288 status
= acpi_ds_get_package_arguments(stack_desc
);
291 case ACPI_TYPE_BUFFER_FIELD
:
292 case ACPI_TYPE_LOCAL_REGION_FIELD
:
293 case ACPI_TYPE_LOCAL_BANK_FIELD
:
294 case ACPI_TYPE_LOCAL_INDEX_FIELD
:
296 ACPI_DEBUG_PRINT((ACPI_DB_EXEC
,
297 "FieldRead SourceDesc=%p Type=%X\n",
298 stack_desc
, stack_desc
->common
.type
));
301 acpi_ex_read_data_from_field(walk_state
, stack_desc
,
304 /* Remove a reference to the original operand, then override */
306 acpi_ut_remove_reference(*stack_ptr
);
307 *stack_ptr
= (void *)obj_desc
;
315 return_ACPI_STATUS(status
);
318 /*******************************************************************************
320 * FUNCTION: acpi_ex_resolve_multiple
322 * PARAMETERS: walk_state - Current state (contains AML opcode)
323 * operand - Starting point for resolution
324 * return_type - Where the object type is returned
325 * return_desc - Where the resolved object is returned
329 * DESCRIPTION: Return the base object and type. Traverse a reference list if
330 * necessary to get to the base object.
332 ******************************************************************************/
335 acpi_ex_resolve_multiple(struct acpi_walk_state
*walk_state
,
336 union acpi_operand_object
*operand
,
337 acpi_object_type
*return_type
,
338 union acpi_operand_object
**return_desc
)
340 union acpi_operand_object
*obj_desc
= ACPI_CAST_PTR(void, operand
);
341 struct acpi_namespace_node
*node
=
342 ACPI_CAST_PTR(struct acpi_namespace_node
, operand
);
343 acpi_object_type type
;
346 ACPI_FUNCTION_TRACE(acpi_ex_resolve_multiple
);
348 /* Operand can be either a namespace node or an operand descriptor */
350 switch (ACPI_GET_DESCRIPTOR_TYPE(obj_desc
)) {
351 case ACPI_DESC_TYPE_OPERAND
:
353 type
= obj_desc
->common
.type
;
356 case ACPI_DESC_TYPE_NAMED
:
358 type
= ((struct acpi_namespace_node
*)obj_desc
)->type
;
359 obj_desc
= acpi_ns_get_attached_object(node
);
361 /* If we had an Alias node, use the attached object for type info */
363 if (type
== ACPI_TYPE_LOCAL_ALIAS
) {
364 type
= ((struct acpi_namespace_node
*)obj_desc
)->type
;
365 obj_desc
= acpi_ns_get_attached_object((struct
372 "[%4.4s] Node is unresolved or uninitialized",
373 acpi_ut_get_node_name(node
)));
374 return_ACPI_STATUS(AE_AML_UNINITIALIZED_NODE
);
379 return_ACPI_STATUS(AE_AML_OPERAND_TYPE
);
382 /* If type is anything other than a reference, we are done */
384 if (type
!= ACPI_TYPE_LOCAL_REFERENCE
) {
389 * For reference objects created via the ref_of, Index, or Load/load_table
390 * operators, we need to get to the base object (as per the ACPI
391 * specification of the object_type and size_of operators). This means
392 * traversing the list of possibly many nested references.
394 while (obj_desc
->common
.type
== ACPI_TYPE_LOCAL_REFERENCE
) {
395 switch (obj_desc
->reference
.class) {
396 case ACPI_REFCLASS_REFOF
:
397 case ACPI_REFCLASS_NAME
:
399 /* Dereference the reference pointer */
401 if (obj_desc
->reference
.class == ACPI_REFCLASS_REFOF
) {
402 node
= obj_desc
->reference
.object
;
403 } else { /* AML_INT_NAMEPATH_OP */
405 node
= obj_desc
->reference
.node
;
408 /* All "References" point to a NS node */
410 if (ACPI_GET_DESCRIPTOR_TYPE(node
) !=
411 ACPI_DESC_TYPE_NAMED
) {
413 "Not a namespace node %p [%s]",
415 acpi_ut_get_descriptor_name(node
)));
416 return_ACPI_STATUS(AE_AML_INTERNAL
);
419 /* Get the attached object */
421 obj_desc
= acpi_ns_get_attached_object(node
);
424 /* No object, use the NS node type */
426 type
= acpi_ns_get_type(node
);
430 /* Check for circular references */
432 if (obj_desc
== operand
) {
433 return_ACPI_STATUS(AE_AML_CIRCULAR_REFERENCE
);
437 case ACPI_REFCLASS_INDEX
:
439 /* Get the type of this reference (index into another object) */
441 type
= obj_desc
->reference
.target_type
;
442 if (type
!= ACPI_TYPE_PACKAGE
) {
447 * The main object is a package, we want to get the type
448 * of the individual package element that is referenced by
451 * This could of course in turn be another reference object.
453 obj_desc
= *(obj_desc
->reference
.where
);
456 /* NULL package elements are allowed */
458 type
= 0; /* Uninitialized */
463 case ACPI_REFCLASS_TABLE
:
465 type
= ACPI_TYPE_DDB_HANDLE
;
468 case ACPI_REFCLASS_LOCAL
:
469 case ACPI_REFCLASS_ARG
:
473 acpi_ds_method_data_get_value(obj_desc
->
481 if (ACPI_FAILURE(status
)) {
482 return_ACPI_STATUS(status
);
484 acpi_ut_remove_reference(obj_desc
);
487 acpi_ds_method_data_get_node(obj_desc
->
495 if (ACPI_FAILURE(status
)) {
496 return_ACPI_STATUS(status
);
499 obj_desc
= acpi_ns_get_attached_object(node
);
501 type
= ACPI_TYPE_ANY
;
507 case ACPI_REFCLASS_DEBUG
:
509 /* The Debug Object is of type "DebugObject" */
511 type
= ACPI_TYPE_DEBUG_OBJECT
;
517 "Unknown Reference Class 0x%2.2X",
518 obj_desc
->reference
.class));
519 return_ACPI_STATUS(AE_AML_INTERNAL
);
524 * Now we are guaranteed to have an object that has not been created
525 * via the ref_of or Index operators.
527 type
= obj_desc
->common
.type
;
530 /* Convert internal types to external types */
533 case ACPI_TYPE_LOCAL_REGION_FIELD
:
534 case ACPI_TYPE_LOCAL_BANK_FIELD
:
535 case ACPI_TYPE_LOCAL_INDEX_FIELD
:
537 type
= ACPI_TYPE_FIELD_UNIT
;
540 case ACPI_TYPE_LOCAL_SCOPE
:
542 /* Per ACPI Specification, Scope is untyped */
544 type
= ACPI_TYPE_ANY
;
549 /* No change to Type required */
556 *return_desc
= obj_desc
;
558 return_ACPI_STATUS(AE_OK
);