Commit | Line | Data |
---|---|---|
1da177e4 LT |
1 | /******************************************************************************* |
2 | * | |
3 | * Module Name: dsutils - Dispatcher utilities | |
4 | * | |
5 | ******************************************************************************/ | |
6 | ||
7 | /* | |
77848130 | 8 | * Copyright (C) 2000 - 2012, Intel Corp. |
1da177e4 LT |
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 | ||
1da177e4 | 44 | #include <acpi/acpi.h> |
e2f7a777 LB |
45 | #include "accommon.h" |
46 | #include "acparser.h" | |
47 | #include "amlcode.h" | |
48 | #include "acdispat.h" | |
49 | #include "acinterp.h" | |
50 | #include "acnamesp.h" | |
51 | #include "acdebug.h" | |
1da177e4 LT |
52 | |
53 | #define _COMPONENT ACPI_DISPATCHER | |
4be44fcd | 54 | ACPI_MODULE_NAME("dsutils") |
1da177e4 LT |
55 | |
56 | /******************************************************************************* | |
57 | * | |
58 | * FUNCTION: acpi_ds_clear_implicit_return | |
59 | * | |
60 | * PARAMETERS: walk_state - Current State | |
61 | * | |
62 | * RETURN: None. | |
63 | * | |
64 | * DESCRIPTION: Clear and remove a reference on an implicit return value. Used | |
65 | * to delete "stale" return values (if enabled, the return value | |
66 | * from every operator is saved at least momentarily, in case the | |
67 | * parent method exits.) | |
68 | * | |
69 | ******************************************************************************/ | |
4be44fcd | 70 | void acpi_ds_clear_implicit_return(struct acpi_walk_state *walk_state) |
1da177e4 | 71 | { |
b229cf92 | 72 | ACPI_FUNCTION_NAME(ds_clear_implicit_return); |
1da177e4 LT |
73 | |
74 | /* | |
75 | * Slack must be enabled for this feature | |
76 | */ | |
77 | if (!acpi_gbl_enable_interpreter_slack) { | |
78 | return; | |
79 | } | |
80 | ||
81 | if (walk_state->implicit_return_obj) { | |
82 | /* | |
83 | * Delete any "stale" implicit return. However, in | |
84 | * complex statements, the implicit return value can be | |
85 | * bubbled up several levels. | |
86 | */ | |
4be44fcd LB |
87 | ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, |
88 | "Removing reference on stale implicit return obj %p\n", | |
89 | walk_state->implicit_return_obj)); | |
1da177e4 | 90 | |
4be44fcd | 91 | acpi_ut_remove_reference(walk_state->implicit_return_obj); |
1da177e4 LT |
92 | walk_state->implicit_return_obj = NULL; |
93 | } | |
94 | } | |
95 | ||
1da177e4 | 96 | #ifndef ACPI_NO_METHOD_EXECUTION |
1da177e4 LT |
97 | /******************************************************************************* |
98 | * | |
99 | * FUNCTION: acpi_ds_do_implicit_return | |
100 | * | |
101 | * PARAMETERS: return_desc - The return value | |
102 | * walk_state - Current State | |
103 | * add_reference - True if a reference should be added to the | |
104 | * return object | |
105 | * | |
106 | * RETURN: TRUE if implicit return enabled, FALSE otherwise | |
107 | * | |
108 | * DESCRIPTION: Implements the optional "implicit return". We save the result | |
109 | * of every ASL operator and control method invocation in case the | |
110 | * parent method exit. Before storing a new return value, we | |
111 | * delete the previous return value. | |
112 | * | |
113 | ******************************************************************************/ | |
114 | ||
115 | u8 | |
4be44fcd LB |
116 | acpi_ds_do_implicit_return(union acpi_operand_object *return_desc, |
117 | struct acpi_walk_state *walk_state, u8 add_reference) | |
1da177e4 | 118 | { |
b229cf92 | 119 | ACPI_FUNCTION_NAME(ds_do_implicit_return); |
1da177e4 LT |
120 | |
121 | /* | |
122 | * Slack must be enabled for this feature, and we must | |
123 | * have a valid return object | |
124 | */ | |
4be44fcd | 125 | if ((!acpi_gbl_enable_interpreter_slack) || (!return_desc)) { |
1da177e4 LT |
126 | return (FALSE); |
127 | } | |
128 | ||
4be44fcd LB |
129 | ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, |
130 | "Result %p will be implicitly returned; Prev=%p\n", | |
131 | return_desc, walk_state->implicit_return_obj)); | |
1da177e4 LT |
132 | |
133 | /* | |
134 | * Delete any "stale" implicit return value first. However, in | |
135 | * complex statements, the implicit return value can be | |
136 | * bubbled up several levels, so we don't clear the value if it | |
137 | * is the same as the return_desc. | |
138 | */ | |
139 | if (walk_state->implicit_return_obj) { | |
140 | if (walk_state->implicit_return_obj == return_desc) { | |
141 | return (TRUE); | |
142 | } | |
4be44fcd | 143 | acpi_ds_clear_implicit_return(walk_state); |
1da177e4 LT |
144 | } |
145 | ||
146 | /* Save the implicit return value, add a reference if requested */ | |
147 | ||
148 | walk_state->implicit_return_obj = return_desc; | |
149 | if (add_reference) { | |
4be44fcd | 150 | acpi_ut_add_reference(return_desc); |
1da177e4 LT |
151 | } |
152 | ||
153 | return (TRUE); | |
154 | } | |
155 | ||
1da177e4 LT |
156 | /******************************************************************************* |
157 | * | |
158 | * FUNCTION: acpi_ds_is_result_used | |
159 | * | |
ba494bee | 160 | * PARAMETERS: op - Current Op |
1da177e4 LT |
161 | * walk_state - Current State |
162 | * | |
163 | * RETURN: TRUE if result is used, FALSE otherwise | |
164 | * | |
165 | * DESCRIPTION: Check if a result object will be used by the parent | |
166 | * | |
167 | ******************************************************************************/ | |
168 | ||
169 | u8 | |
4be44fcd LB |
170 | acpi_ds_is_result_used(union acpi_parse_object * op, |
171 | struct acpi_walk_state * walk_state) | |
1da177e4 | 172 | { |
4be44fcd | 173 | const struct acpi_opcode_info *parent_info; |
1da177e4 | 174 | |
b229cf92 | 175 | ACPI_FUNCTION_TRACE_PTR(ds_is_result_used, op); |
1da177e4 LT |
176 | |
177 | /* Must have both an Op and a Result Object */ | |
178 | ||
179 | if (!op) { | |
b8e4d893 | 180 | ACPI_ERROR((AE_INFO, "Null Op")); |
50eca3eb | 181 | return_UINT8(TRUE); |
1da177e4 LT |
182 | } |
183 | ||
184 | /* | |
185 | * We know that this operator is not a | |
186 | * Return() operator (would not come here.) The following code is the | |
187 | * optional support for a so-called "implicit return". Some AML code | |
188 | * assumes that the last value of the method is "implicitly" returned | |
189 | * to the caller. Just save the last result as the return value. | |
190 | * NOTE: this is optional because the ASL language does not actually | |
191 | * support this behavior. | |
192 | */ | |
4be44fcd LB |
193 | (void)acpi_ds_do_implicit_return(walk_state->result_obj, walk_state, |
194 | TRUE); | |
1da177e4 LT |
195 | |
196 | /* | |
197 | * Now determine if the parent will use the result | |
198 | * | |
199 | * If there is no parent, or the parent is a scope_op, we are executing | |
200 | * at the method level. An executing method typically has no parent, | |
201 | * since each method is parsed separately. A method invoked externally | |
202 | * via execute_control_method has a scope_op as the parent. | |
203 | */ | |
204 | if ((!op->common.parent) || | |
4be44fcd | 205 | (op->common.parent->common.aml_opcode == AML_SCOPE_OP)) { |
52fc0b02 | 206 | |
1da177e4 LT |
207 | /* No parent, the return value cannot possibly be used */ |
208 | ||
4be44fcd LB |
209 | ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, |
210 | "At Method level, result of [%s] not used\n", | |
211 | acpi_ps_get_opcode_name(op->common. | |
212 | aml_opcode))); | |
50eca3eb | 213 | return_UINT8(FALSE); |
1da177e4 LT |
214 | } |
215 | ||
216 | /* Get info on the parent. The root_op is AML_SCOPE */ | |
217 | ||
4be44fcd LB |
218 | parent_info = |
219 | acpi_ps_get_opcode_info(op->common.parent->common.aml_opcode); | |
1da177e4 | 220 | if (parent_info->class == AML_CLASS_UNKNOWN) { |
b8e4d893 | 221 | ACPI_ERROR((AE_INFO, "Unknown parent opcode Op=%p", op)); |
50eca3eb | 222 | return_UINT8(FALSE); |
1da177e4 LT |
223 | } |
224 | ||
225 | /* | |
226 | * Decide what to do with the result based on the parent. If | |
227 | * the parent opcode will not use the result, delete the object. | |
228 | * Otherwise leave it as is, it will be deleted when it is used | |
229 | * as an operand later. | |
230 | */ | |
231 | switch (parent_info->class) { | |
232 | case AML_CLASS_CONTROL: | |
233 | ||
234 | switch (op->common.parent->common.aml_opcode) { | |
235 | case AML_RETURN_OP: | |
236 | ||
237 | /* Never delete the return value associated with a return opcode */ | |
238 | ||
239 | goto result_used; | |
240 | ||
241 | case AML_IF_OP: | |
242 | case AML_WHILE_OP: | |
243 | ||
244 | /* | |
245 | * If we are executing the predicate AND this is the predicate op, | |
246 | * we will use the return value | |
247 | */ | |
4be44fcd LB |
248 | if ((walk_state->control_state->common.state == |
249 | ACPI_CONTROL_PREDICATE_EXECUTING) | |
250 | && (walk_state->control_state->control. | |
251 | predicate_op == op)) { | |
1da177e4 LT |
252 | goto result_used; |
253 | } | |
254 | break; | |
255 | ||
256 | default: | |
257 | /* Ignore other control opcodes */ | |
258 | break; | |
259 | } | |
260 | ||
261 | /* The general control opcode returns no result */ | |
262 | ||
263 | goto result_not_used; | |
264 | ||
1da177e4 LT |
265 | case AML_CLASS_CREATE: |
266 | ||
267 | /* | |
268 | * These opcodes allow term_arg(s) as operands and therefore | |
269 | * the operands can be method calls. The result is used. | |
270 | */ | |
271 | goto result_used; | |
272 | ||
1da177e4 LT |
273 | case AML_CLASS_NAMED_OBJECT: |
274 | ||
4be44fcd LB |
275 | if ((op->common.parent->common.aml_opcode == AML_REGION_OP) || |
276 | (op->common.parent->common.aml_opcode == AML_DATA_REGION_OP) | |
277 | || (op->common.parent->common.aml_opcode == AML_PACKAGE_OP) | |
278 | || (op->common.parent->common.aml_opcode == | |
279 | AML_VAR_PACKAGE_OP) | |
280 | || (op->common.parent->common.aml_opcode == AML_BUFFER_OP) | |
281 | || (op->common.parent->common.aml_opcode == | |
ef805d95 LM |
282 | AML_INT_EVAL_SUBTREE_OP) |
283 | || (op->common.parent->common.aml_opcode == | |
284 | AML_BANK_FIELD_OP)) { | |
1da177e4 LT |
285 | /* |
286 | * These opcodes allow term_arg(s) as operands and therefore | |
287 | * the operands can be method calls. The result is used. | |
288 | */ | |
289 | goto result_used; | |
290 | } | |
291 | ||
292 | goto result_not_used; | |
293 | ||
1da177e4 LT |
294 | default: |
295 | ||
296 | /* | |
297 | * In all other cases. the parent will actually use the return | |
298 | * object, so keep it. | |
299 | */ | |
300 | goto result_used; | |
301 | } | |
302 | ||
4be44fcd LB |
303 | result_used: |
304 | ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, | |
305 | "Result of [%s] used by Parent [%s] Op=%p\n", | |
306 | acpi_ps_get_opcode_name(op->common.aml_opcode), | |
307 | acpi_ps_get_opcode_name(op->common.parent->common. | |
308 | aml_opcode), op)); | |
1da177e4 | 309 | |
50eca3eb | 310 | return_UINT8(TRUE); |
1da177e4 | 311 | |
4be44fcd LB |
312 | result_not_used: |
313 | ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, | |
314 | "Result of [%s] not used by Parent [%s] Op=%p\n", | |
315 | acpi_ps_get_opcode_name(op->common.aml_opcode), | |
316 | acpi_ps_get_opcode_name(op->common.parent->common. | |
317 | aml_opcode), op)); | |
1da177e4 | 318 | |
50eca3eb | 319 | return_UINT8(FALSE); |
1da177e4 LT |
320 | } |
321 | ||
1da177e4 LT |
322 | /******************************************************************************* |
323 | * | |
324 | * FUNCTION: acpi_ds_delete_result_if_not_used | |
325 | * | |
ba494bee | 326 | * PARAMETERS: op - Current parse Op |
1da177e4 LT |
327 | * result_obj - Result of the operation |
328 | * walk_state - Current state | |
329 | * | |
330 | * RETURN: Status | |
331 | * | |
332 | * DESCRIPTION: Used after interpretation of an opcode. If there is an internal | |
333 | * result descriptor, check if the parent opcode will actually use | |
334 | * this result. If not, delete the result now so that it will | |
335 | * not become orphaned. | |
336 | * | |
337 | ******************************************************************************/ | |
338 | ||
339 | void | |
4be44fcd LB |
340 | acpi_ds_delete_result_if_not_used(union acpi_parse_object *op, |
341 | union acpi_operand_object *result_obj, | |
342 | struct acpi_walk_state *walk_state) | |
1da177e4 | 343 | { |
4be44fcd LB |
344 | union acpi_operand_object *obj_desc; |
345 | acpi_status status; | |
1da177e4 | 346 | |
b229cf92 | 347 | ACPI_FUNCTION_TRACE_PTR(ds_delete_result_if_not_used, result_obj); |
1da177e4 LT |
348 | |
349 | if (!op) { | |
b8e4d893 | 350 | ACPI_ERROR((AE_INFO, "Null Op")); |
1da177e4 LT |
351 | return_VOID; |
352 | } | |
353 | ||
354 | if (!result_obj) { | |
355 | return_VOID; | |
356 | } | |
357 | ||
4be44fcd | 358 | if (!acpi_ds_is_result_used(op, walk_state)) { |
52fc0b02 | 359 | |
1da177e4 LT |
360 | /* Must pop the result stack (obj_desc should be equal to result_obj) */ |
361 | ||
4be44fcd LB |
362 | status = acpi_ds_result_pop(&obj_desc, walk_state); |
363 | if (ACPI_SUCCESS(status)) { | |
364 | acpi_ut_remove_reference(result_obj); | |
1da177e4 LT |
365 | } |
366 | } | |
367 | ||
368 | return_VOID; | |
369 | } | |
370 | ||
1da177e4 LT |
371 | /******************************************************************************* |
372 | * | |
373 | * FUNCTION: acpi_ds_resolve_operands | |
374 | * | |
375 | * PARAMETERS: walk_state - Current walk state with operands on stack | |
376 | * | |
377 | * RETURN: Status | |
378 | * | |
379 | * DESCRIPTION: Resolve all operands to their values. Used to prepare | |
380 | * arguments to a control method invocation (a call from one | |
381 | * method to another.) | |
382 | * | |
383 | ******************************************************************************/ | |
384 | ||
4be44fcd | 385 | acpi_status acpi_ds_resolve_operands(struct acpi_walk_state *walk_state) |
1da177e4 | 386 | { |
4be44fcd LB |
387 | u32 i; |
388 | acpi_status status = AE_OK; | |
1da177e4 | 389 | |
b229cf92 | 390 | ACPI_FUNCTION_TRACE_PTR(ds_resolve_operands, walk_state); |
1da177e4 LT |
391 | |
392 | /* | |
393 | * Attempt to resolve each of the valid operands | |
394 | * Method arguments are passed by reference, not by value. This means | |
395 | * that the actual objects are passed, not copies of the objects. | |
396 | */ | |
397 | for (i = 0; i < walk_state->num_operands; i++) { | |
4be44fcd LB |
398 | status = |
399 | acpi_ex_resolve_to_value(&walk_state->operands[i], | |
400 | walk_state); | |
401 | if (ACPI_FAILURE(status)) { | |
1da177e4 LT |
402 | break; |
403 | } | |
404 | } | |
405 | ||
4be44fcd | 406 | return_ACPI_STATUS(status); |
1da177e4 LT |
407 | } |
408 | ||
1da177e4 LT |
409 | /******************************************************************************* |
410 | * | |
411 | * FUNCTION: acpi_ds_clear_operands | |
412 | * | |
413 | * PARAMETERS: walk_state - Current walk state with operands on stack | |
414 | * | |
415 | * RETURN: None | |
416 | * | |
417 | * DESCRIPTION: Clear all operands on the current walk state operand stack. | |
418 | * | |
419 | ******************************************************************************/ | |
420 | ||
4be44fcd | 421 | void acpi_ds_clear_operands(struct acpi_walk_state *walk_state) |
1da177e4 | 422 | { |
4be44fcd | 423 | u32 i; |
1da177e4 | 424 | |
b229cf92 | 425 | ACPI_FUNCTION_TRACE_PTR(ds_clear_operands, walk_state); |
1da177e4 LT |
426 | |
427 | /* Remove a reference on each operand on the stack */ | |
428 | ||
429 | for (i = 0; i < walk_state->num_operands; i++) { | |
430 | /* | |
431 | * Remove a reference to all operands, including both | |
432 | * "Arguments" and "Targets". | |
433 | */ | |
4be44fcd | 434 | acpi_ut_remove_reference(walk_state->operands[i]); |
1da177e4 LT |
435 | walk_state->operands[i] = NULL; |
436 | } | |
437 | ||
438 | walk_state->num_operands = 0; | |
439 | return_VOID; | |
440 | } | |
441 | #endif | |
442 | ||
1da177e4 LT |
443 | /******************************************************************************* |
444 | * | |
445 | * FUNCTION: acpi_ds_create_operand | |
446 | * | |
447 | * PARAMETERS: walk_state - Current walk state | |
ba494bee | 448 | * arg - Parse object for the argument |
1da177e4 LT |
449 | * arg_index - Which argument (zero based) |
450 | * | |
451 | * RETURN: Status | |
452 | * | |
453 | * DESCRIPTION: Translate a parse tree object that is an argument to an AML | |
454 | * opcode to the equivalent interpreter object. This may include | |
455 | * looking up a name or entering a new name into the internal | |
456 | * namespace. | |
457 | * | |
458 | ******************************************************************************/ | |
459 | ||
460 | acpi_status | |
4be44fcd LB |
461 | acpi_ds_create_operand(struct acpi_walk_state *walk_state, |
462 | union acpi_parse_object *arg, u32 arg_index) | |
1da177e4 | 463 | { |
4be44fcd LB |
464 | acpi_status status = AE_OK; |
465 | char *name_string; | |
466 | u32 name_length; | |
467 | union acpi_operand_object *obj_desc; | |
468 | union acpi_parse_object *parent_op; | |
469 | u16 opcode; | |
470 | acpi_interpreter_mode interpreter_mode; | |
471 | const struct acpi_opcode_info *op_info; | |
1da177e4 | 472 | |
b229cf92 | 473 | ACPI_FUNCTION_TRACE_PTR(ds_create_operand, arg); |
1da177e4 LT |
474 | |
475 | /* A valid name must be looked up in the namespace */ | |
476 | ||
477 | if ((arg->common.aml_opcode == AML_INT_NAMEPATH_OP) && | |
4e3156b1 BM |
478 | (arg->common.value.string) && |
479 | !(arg->common.flags & ACPI_PARSEOP_IN_STACK)) { | |
4be44fcd LB |
480 | ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Getting a name: Arg=%p\n", |
481 | arg)); | |
1da177e4 LT |
482 | |
483 | /* Get the entire name string from the AML stream */ | |
484 | ||
4be44fcd LB |
485 | status = |
486 | acpi_ex_get_name_string(ACPI_TYPE_ANY, | |
487 | arg->common.value.buffer, | |
488 | &name_string, &name_length); | |
1da177e4 | 489 | |
4be44fcd LB |
490 | if (ACPI_FAILURE(status)) { |
491 | return_ACPI_STATUS(status); | |
1da177e4 LT |
492 | } |
493 | ||
494 | /* All prefixes have been handled, and the name is in name_string */ | |
495 | ||
496 | /* | |
497 | * Special handling for buffer_field declarations. This is a deferred | |
498 | * opcode that unfortunately defines the field name as the last | |
499 | * parameter instead of the first. We get here when we are performing | |
500 | * the deferred execution, so the actual name of the field is already | |
501 | * in the namespace. We don't want to attempt to look it up again | |
502 | * because we may be executing in a different scope than where the | |
503 | * actual opcode exists. | |
504 | */ | |
505 | if ((walk_state->deferred_node) && | |
4be44fcd | 506 | (walk_state->deferred_node->type == ACPI_TYPE_BUFFER_FIELD) |
52fc0b02 BM |
507 | && (arg_index == |
508 | (u32) ((walk_state->opcode == | |
509 | AML_CREATE_FIELD_OP) ? 3 : 2))) { | |
4be44fcd LB |
510 | obj_desc = |
511 | ACPI_CAST_PTR(union acpi_operand_object, | |
512 | walk_state->deferred_node); | |
1da177e4 | 513 | status = AE_OK; |
4be44fcd LB |
514 | } else { /* All other opcodes */ |
515 | ||
1da177e4 LT |
516 | /* |
517 | * Differentiate between a namespace "create" operation | |
518 | * versus a "lookup" operation (IMODE_LOAD_PASS2 vs. | |
519 | * IMODE_EXECUTE) in order to support the creation of | |
520 | * namespace objects during the execution of control methods. | |
521 | */ | |
522 | parent_op = arg->common.parent; | |
4be44fcd LB |
523 | op_info = |
524 | acpi_ps_get_opcode_info(parent_op->common. | |
525 | aml_opcode); | |
526 | if ((op_info->flags & AML_NSNODE) | |
527 | && (parent_op->common.aml_opcode != | |
528 | AML_INT_METHODCALL_OP) | |
529 | && (parent_op->common.aml_opcode != AML_REGION_OP) | |
530 | && (parent_op->common.aml_opcode != | |
531 | AML_INT_NAMEPATH_OP)) { | |
52fc0b02 | 532 | |
1da177e4 LT |
533 | /* Enter name into namespace if not found */ |
534 | ||
535 | interpreter_mode = ACPI_IMODE_LOAD_PASS2; | |
4be44fcd | 536 | } else { |
1da177e4 LT |
537 | /* Return a failure if name not found */ |
538 | ||
539 | interpreter_mode = ACPI_IMODE_EXECUTE; | |
540 | } | |
541 | ||
4be44fcd LB |
542 | status = |
543 | acpi_ns_lookup(walk_state->scope_info, name_string, | |
544 | ACPI_TYPE_ANY, interpreter_mode, | |
545 | ACPI_NS_SEARCH_PARENT | | |
546 | ACPI_NS_DONT_OPEN_SCOPE, walk_state, | |
547 | ACPI_CAST_INDIRECT_PTR(struct | |
548 | acpi_namespace_node, | |
549 | &obj_desc)); | |
1da177e4 LT |
550 | /* |
551 | * The only case where we pass through (ignore) a NOT_FOUND | |
552 | * error is for the cond_ref_of opcode. | |
553 | */ | |
554 | if (status == AE_NOT_FOUND) { | |
4be44fcd LB |
555 | if (parent_op->common.aml_opcode == |
556 | AML_COND_REF_OF_OP) { | |
1da177e4 LT |
557 | /* |
558 | * For the Conditional Reference op, it's OK if | |
559 | * the name is not found; We just need a way to | |
560 | * indicate this to the interpreter, set the | |
561 | * object to the root | |
562 | */ | |
fd350943 LB |
563 | obj_desc = ACPI_CAST_PTR(union |
564 | acpi_operand_object, | |
565 | acpi_gbl_root_node); | |
1da177e4 | 566 | status = AE_OK; |
4be44fcd | 567 | } else { |
1da177e4 LT |
568 | /* |
569 | * We just plain didn't find it -- which is a | |
570 | * very serious error at this point | |
571 | */ | |
572 | status = AE_AML_NAME_NOT_FOUND; | |
573 | } | |
574 | } | |
575 | ||
4be44fcd | 576 | if (ACPI_FAILURE(status)) { |
b8e4d893 | 577 | ACPI_ERROR_NAMESPACE(name_string, status); |
1da177e4 LT |
578 | } |
579 | } | |
580 | ||
581 | /* Free the namestring created above */ | |
582 | ||
8313524a | 583 | ACPI_FREE(name_string); |
1da177e4 LT |
584 | |
585 | /* Check status from the lookup */ | |
586 | ||
4be44fcd LB |
587 | if (ACPI_FAILURE(status)) { |
588 | return_ACPI_STATUS(status); | |
1da177e4 LT |
589 | } |
590 | ||
591 | /* Put the resulting object onto the current object stack */ | |
592 | ||
4be44fcd LB |
593 | status = acpi_ds_obj_stack_push(obj_desc, walk_state); |
594 | if (ACPI_FAILURE(status)) { | |
595 | return_ACPI_STATUS(status); | |
1da177e4 | 596 | } |
4be44fcd LB |
597 | ACPI_DEBUGGER_EXEC(acpi_db_display_argument_object |
598 | (obj_desc, walk_state)); | |
599 | } else { | |
1da177e4 LT |
600 | /* Check for null name case */ |
601 | ||
4e3156b1 BM |
602 | if ((arg->common.aml_opcode == AML_INT_NAMEPATH_OP) && |
603 | !(arg->common.flags & ACPI_PARSEOP_IN_STACK)) { | |
1da177e4 LT |
604 | /* |
605 | * If the name is null, this means that this is an | |
606 | * optional result parameter that was not specified | |
607 | * in the original ASL. Create a Zero Constant for a | |
608 | * placeholder. (Store to a constant is a Noop.) | |
609 | */ | |
4be44fcd | 610 | opcode = AML_ZERO_OP; /* Has no arguments! */ |
1da177e4 | 611 | |
4be44fcd LB |
612 | ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, |
613 | "Null namepath: Arg=%p\n", arg)); | |
614 | } else { | |
1da177e4 LT |
615 | opcode = arg->common.aml_opcode; |
616 | } | |
617 | ||
618 | /* Get the object type of the argument */ | |
619 | ||
4be44fcd | 620 | op_info = acpi_ps_get_opcode_info(opcode); |
1da177e4 | 621 | if (op_info->object_type == ACPI_TYPE_INVALID) { |
4be44fcd | 622 | return_ACPI_STATUS(AE_NOT_IMPLEMENTED); |
1da177e4 LT |
623 | } |
624 | ||
4e3156b1 BM |
625 | if ((op_info->flags & AML_HAS_RETVAL) |
626 | || (arg->common.flags & ACPI_PARSEOP_IN_STACK)) { | |
4be44fcd | 627 | ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, |
50eca3eb | 628 | "Argument previously created, already stacked\n")); |
1da177e4 | 629 | |
4be44fcd LB |
630 | ACPI_DEBUGGER_EXEC(acpi_db_display_argument_object |
631 | (walk_state-> | |
632 | operands[walk_state->num_operands - | |
633 | 1], walk_state)); | |
1da177e4 LT |
634 | |
635 | /* | |
636 | * Use value that was already previously returned | |
637 | * by the evaluation of this argument | |
638 | */ | |
773069d4 | 639 | status = acpi_ds_result_pop(&obj_desc, walk_state); |
4be44fcd | 640 | if (ACPI_FAILURE(status)) { |
1da177e4 LT |
641 | /* |
642 | * Only error is underflow, and this indicates | |
643 | * a missing or null operand! | |
644 | */ | |
b8e4d893 BM |
645 | ACPI_EXCEPTION((AE_INFO, status, |
646 | "Missing or null operand")); | |
4be44fcd | 647 | return_ACPI_STATUS(status); |
1da177e4 | 648 | } |
4be44fcd | 649 | } else { |
1da177e4 LT |
650 | /* Create an ACPI_INTERNAL_OBJECT for the argument */ |
651 | ||
4be44fcd LB |
652 | obj_desc = |
653 | acpi_ut_create_internal_object(op_info-> | |
654 | object_type); | |
1da177e4 | 655 | if (!obj_desc) { |
4be44fcd | 656 | return_ACPI_STATUS(AE_NO_MEMORY); |
1da177e4 LT |
657 | } |
658 | ||
659 | /* Initialize the new object */ | |
660 | ||
4be44fcd LB |
661 | status = |
662 | acpi_ds_init_object_from_op(walk_state, arg, opcode, | |
663 | &obj_desc); | |
664 | if (ACPI_FAILURE(status)) { | |
665 | acpi_ut_delete_object_desc(obj_desc); | |
666 | return_ACPI_STATUS(status); | |
1da177e4 LT |
667 | } |
668 | } | |
669 | ||
670 | /* Put the operand object on the object stack */ | |
671 | ||
4be44fcd LB |
672 | status = acpi_ds_obj_stack_push(obj_desc, walk_state); |
673 | if (ACPI_FAILURE(status)) { | |
674 | return_ACPI_STATUS(status); | |
1da177e4 LT |
675 | } |
676 | ||
4be44fcd LB |
677 | ACPI_DEBUGGER_EXEC(acpi_db_display_argument_object |
678 | (obj_desc, walk_state)); | |
1da177e4 LT |
679 | } |
680 | ||
4be44fcd | 681 | return_ACPI_STATUS(AE_OK); |
1da177e4 LT |
682 | } |
683 | ||
1da177e4 LT |
684 | /******************************************************************************* |
685 | * | |
686 | * FUNCTION: acpi_ds_create_operands | |
687 | * | |
688 | * PARAMETERS: walk_state - Current state | |
689 | * first_arg - First argument of a parser argument tree | |
690 | * | |
691 | * RETURN: Status | |
692 | * | |
693 | * DESCRIPTION: Convert an operator's arguments from a parse tree format to | |
694 | * namespace objects and place those argument object on the object | |
695 | * stack in preparation for evaluation by the interpreter. | |
696 | * | |
697 | ******************************************************************************/ | |
698 | ||
699 | acpi_status | |
4be44fcd LB |
700 | acpi_ds_create_operands(struct acpi_walk_state *walk_state, |
701 | union acpi_parse_object *first_arg) | |
1da177e4 | 702 | { |
4be44fcd LB |
703 | acpi_status status = AE_OK; |
704 | union acpi_parse_object *arg; | |
773069d4 | 705 | union acpi_parse_object *arguments[ACPI_OBJ_NUM_OPERANDS]; |
b7f9f042 BM |
706 | u32 arg_count = 0; |
707 | u32 index = walk_state->num_operands; | |
708 | u32 i; | |
1da177e4 | 709 | |
b229cf92 | 710 | ACPI_FUNCTION_TRACE_PTR(ds_create_operands, first_arg); |
1da177e4 | 711 | |
773069d4 | 712 | /* Get all arguments in the list */ |
1da177e4 LT |
713 | |
714 | arg = first_arg; | |
715 | while (arg) { | |
773069d4 BM |
716 | if (index >= ACPI_OBJ_NUM_OPERANDS) { |
717 | return_ACPI_STATUS(AE_BAD_DATA); | |
1da177e4 LT |
718 | } |
719 | ||
773069d4 BM |
720 | arguments[index] = arg; |
721 | walk_state->operands[index] = NULL; | |
1da177e4 LT |
722 | |
723 | /* Move on to next argument, if any */ | |
724 | ||
725 | arg = arg->common.next; | |
726 | arg_count++; | |
773069d4 BM |
727 | index++; |
728 | } | |
729 | ||
730 | index--; | |
731 | ||
732 | /* It is the appropriate order to get objects from the Result stack */ | |
733 | ||
734 | for (i = 0; i < arg_count; i++) { | |
735 | arg = arguments[index]; | |
736 | ||
737 | /* Force the filling of the operand stack in inverse order */ | |
738 | ||
b7f9f042 | 739 | walk_state->operand_index = (u8) index; |
773069d4 BM |
740 | |
741 | status = acpi_ds_create_operand(walk_state, arg, index); | |
742 | if (ACPI_FAILURE(status)) { | |
743 | goto cleanup; | |
744 | } | |
745 | ||
773069d4 BM |
746 | index--; |
747 | ||
748 | ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, | |
b27d6597 | 749 | "Arg #%u (%p) done, Arg1=%p\n", index, arg, |
773069d4 | 750 | first_arg)); |
1da177e4 LT |
751 | } |
752 | ||
4be44fcd | 753 | return_ACPI_STATUS(status); |
1da177e4 | 754 | |
4be44fcd | 755 | cleanup: |
1da177e4 LT |
756 | /* |
757 | * We must undo everything done above; meaning that we must | |
758 | * pop everything off of the operand stack and delete those | |
759 | * objects | |
760 | */ | |
773069d4 | 761 | acpi_ds_obj_stack_pop_and_delete(arg_count, walk_state); |
1da177e4 | 762 | |
b27d6597 | 763 | ACPI_EXCEPTION((AE_INFO, status, "While creating Arg %u", index)); |
4be44fcd | 764 | return_ACPI_STATUS(status); |
1da177e4 | 765 | } |
4e3156b1 BM |
766 | |
767 | /***************************************************************************** | |
768 | * | |
769 | * FUNCTION: acpi_ds_evaluate_name_path | |
770 | * | |
771 | * PARAMETERS: walk_state - Current state of the parse tree walk, | |
772 | * the opcode of current operation should be | |
773 | * AML_INT_NAMEPATH_OP | |
774 | * | |
775 | * RETURN: Status | |
776 | * | |
777 | * DESCRIPTION: Translate the -name_path- parse tree object to the equivalent | |
778 | * interpreter object, convert it to value, if needed, duplicate | |
779 | * it, if needed, and push it onto the current result stack. | |
780 | * | |
781 | ****************************************************************************/ | |
782 | ||
783 | acpi_status acpi_ds_evaluate_name_path(struct acpi_walk_state *walk_state) | |
784 | { | |
785 | acpi_status status = AE_OK; | |
786 | union acpi_parse_object *op = walk_state->op; | |
787 | union acpi_operand_object **operand = &walk_state->operands[0]; | |
788 | union acpi_operand_object *new_obj_desc; | |
789 | u8 type; | |
790 | ||
791 | ACPI_FUNCTION_TRACE_PTR(ds_evaluate_name_path, walk_state); | |
792 | ||
793 | if (!op->common.parent) { | |
794 | ||
795 | /* This happens after certain exception processing */ | |
796 | ||
797 | goto exit; | |
798 | } | |
799 | ||
800 | if ((op->common.parent->common.aml_opcode == AML_PACKAGE_OP) || | |
801 | (op->common.parent->common.aml_opcode == AML_VAR_PACKAGE_OP) || | |
802 | (op->common.parent->common.aml_opcode == AML_REF_OF_OP)) { | |
803 | ||
804 | /* TBD: Should we specify this feature as a bit of op_info->Flags of these opcodes? */ | |
805 | ||
806 | goto exit; | |
807 | } | |
808 | ||
809 | status = acpi_ds_create_operand(walk_state, op, 0); | |
810 | if (ACPI_FAILURE(status)) { | |
811 | goto exit; | |
812 | } | |
813 | ||
814 | if (op->common.flags & ACPI_PARSEOP_TARGET) { | |
815 | new_obj_desc = *operand; | |
816 | goto push_result; | |
817 | } | |
818 | ||
3371c19c | 819 | type = (*operand)->common.type; |
4e3156b1 BM |
820 | |
821 | status = acpi_ex_resolve_to_value(operand, walk_state); | |
822 | if (ACPI_FAILURE(status)) { | |
823 | goto exit; | |
824 | } | |
825 | ||
826 | if (type == ACPI_TYPE_INTEGER) { | |
827 | ||
828 | /* It was incremented by acpi_ex_resolve_to_value */ | |
829 | ||
830 | acpi_ut_remove_reference(*operand); | |
831 | ||
832 | status = | |
833 | acpi_ut_copy_iobject_to_iobject(*operand, &new_obj_desc, | |
834 | walk_state); | |
835 | if (ACPI_FAILURE(status)) { | |
836 | goto exit; | |
837 | } | |
838 | } else { | |
839 | /* | |
840 | * The object either was anew created or is | |
841 | * a Namespace node - don't decrement it. | |
842 | */ | |
843 | new_obj_desc = *operand; | |
844 | } | |
845 | ||
846 | /* Cleanup for name-path operand */ | |
847 | ||
848 | status = acpi_ds_obj_stack_pop(1, walk_state); | |
849 | if (ACPI_FAILURE(status)) { | |
850 | walk_state->result_obj = new_obj_desc; | |
851 | goto exit; | |
852 | } | |
853 | ||
854 | push_result: | |
855 | ||
856 | walk_state->result_obj = new_obj_desc; | |
857 | ||
858 | status = acpi_ds_result_push(walk_state->result_obj, walk_state); | |
859 | if (ACPI_SUCCESS(status)) { | |
860 | ||
861 | /* Force to take it from stack */ | |
862 | ||
863 | op->common.flags |= ACPI_PARSEOP_IN_STACK; | |
864 | } | |
865 | ||
866 | exit: | |
867 | ||
868 | return_ACPI_STATUS(status); | |
869 | } |