1 /******************************************************************************
3 * Module Name: dswstate - Dispatcher parse tree walk management routines
5 *****************************************************************************/
8 * Copyright (C) 2000 - 2008, 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>
45 #include <acpi/acparser.h>
46 #include <acpi/acdispat.h>
47 #include <acpi/acnamesp.h>
49 #define _COMPONENT ACPI_DISPATCHER
50 ACPI_MODULE_NAME("dswstate")
52 /* Local prototypes */
53 static acpi_status acpi_ds_result_stack_push(struct acpi_walk_state *ws);
54 static acpi_status acpi_ds_result_stack_pop(struct acpi_walk_state *ws);
56 /*******************************************************************************
58 * FUNCTION: acpi_ds_result_pop
60 * PARAMETERS: Object - Where to return the popped object
61 * walk_state - Current Walk state
65 * DESCRIPTION: Pop an object off the top of this walk's result stack
67 ******************************************************************************/
70 acpi_ds_result_pop(union acpi_operand_object **object,
71 struct acpi_walk_state *walk_state)
74 union acpi_generic_state *state;
77 ACPI_FUNCTION_NAME(ds_result_pop);
79 state = walk_state->results;
81 /* Incorrect state of result stack */
83 if (state && !walk_state->result_count) {
84 ACPI_ERROR((AE_INFO, "No results on result stack"));
85 return (AE_AML_INTERNAL);
88 if (!state && walk_state->result_count) {
89 ACPI_ERROR((AE_INFO, "No result state for result stack"));
90 return (AE_AML_INTERNAL);
93 /* Empty result stack */
96 ACPI_ERROR((AE_INFO, "Result stack is empty! State=%p",
98 return (AE_AML_NO_RETURN_VALUE);
101 /* Return object of the top element and clean that top element result stack */
103 walk_state->result_count--;
104 index = walk_state->result_count % ACPI_RESULTS_FRAME_OBJ_NUM;
106 *object = state->results.obj_desc[index];
109 "No result objects on result stack, State=%p",
111 return (AE_AML_NO_RETURN_VALUE);
114 state->results.obj_desc[index] = NULL;
116 status = acpi_ds_result_stack_pop(walk_state);
117 if (ACPI_FAILURE(status)) {
122 ACPI_DEBUG_PRINT((ACPI_DB_EXEC,
123 "Obj=%p [%s] Index=%X State=%p Num=%X\n", *object,
124 acpi_ut_get_object_type_name(*object),
125 index, walk_state, walk_state->result_count));
130 /*******************************************************************************
132 * FUNCTION: acpi_ds_result_push
134 * PARAMETERS: Object - Where to return the popped object
135 * walk_state - Current Walk state
139 * DESCRIPTION: Push an object onto the current result stack
141 ******************************************************************************/
144 acpi_ds_result_push(union acpi_operand_object * object,
145 struct acpi_walk_state * walk_state)
147 union acpi_generic_state *state;
151 ACPI_FUNCTION_NAME(ds_result_push);
153 if (walk_state->result_count > walk_state->result_size) {
154 ACPI_ERROR((AE_INFO, "Result stack is full"));
155 return (AE_AML_INTERNAL);
156 } else if (walk_state->result_count == walk_state->result_size) {
158 /* Extend the result stack */
160 status = acpi_ds_result_stack_push(walk_state);
161 if (ACPI_FAILURE(status)) {
163 "Failed to extend the result stack"));
168 if (!(walk_state->result_count < walk_state->result_size)) {
169 ACPI_ERROR((AE_INFO, "No free elements in result stack"));
170 return (AE_AML_INTERNAL);
173 state = walk_state->results;
175 ACPI_ERROR((AE_INFO, "No result stack frame during push"));
176 return (AE_AML_INTERNAL);
181 "Null Object! Obj=%p State=%p Num=%X",
182 object, walk_state, walk_state->result_count));
183 return (AE_BAD_PARAMETER);
186 /* Assign the address of object to the top free element of result stack */
188 index = walk_state->result_count % ACPI_RESULTS_FRAME_OBJ_NUM;
189 state->results.obj_desc[index] = object;
190 walk_state->result_count++;
192 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Obj=%p [%s] State=%p Num=%X Cur=%X\n",
194 acpi_ut_get_object_type_name((union
195 acpi_operand_object *)
197 walk_state->result_count,
198 walk_state->current_result));
203 /*******************************************************************************
205 * FUNCTION: acpi_ds_result_stack_push
207 * PARAMETERS: walk_state - Current Walk state
211 * DESCRIPTION: Push an object onto the walk_state result stack
213 ******************************************************************************/
215 static acpi_status acpi_ds_result_stack_push(struct acpi_walk_state *walk_state)
217 union acpi_generic_state *state;
219 ACPI_FUNCTION_NAME(ds_result_stack_push);
221 /* Check for stack overflow */
223 if (((u32) walk_state->result_size + ACPI_RESULTS_FRAME_OBJ_NUM) >
224 ACPI_RESULTS_OBJ_NUM_MAX) {
225 ACPI_ERROR((AE_INFO, "Result stack overflow: State=%p Num=%X",
226 walk_state, walk_state->result_size));
227 return (AE_STACK_OVERFLOW);
230 state = acpi_ut_create_generic_state();
232 return (AE_NO_MEMORY);
235 state->common.descriptor_type = ACPI_DESC_TYPE_STATE_RESULT;
236 acpi_ut_push_generic_state(&walk_state->results, state);
238 /* Increase the length of the result stack by the length of frame */
240 walk_state->result_size += ACPI_RESULTS_FRAME_OBJ_NUM;
242 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Results=%p State=%p\n",
248 /*******************************************************************************
250 * FUNCTION: acpi_ds_result_stack_pop
252 * PARAMETERS: walk_state - Current Walk state
256 * DESCRIPTION: Pop an object off of the walk_state result stack
258 ******************************************************************************/
260 static acpi_status acpi_ds_result_stack_pop(struct acpi_walk_state *walk_state)
262 union acpi_generic_state *state;
264 ACPI_FUNCTION_NAME(ds_result_stack_pop);
266 /* Check for stack underflow */
268 if (walk_state->results == NULL) {
269 ACPI_DEBUG_PRINT((ACPI_DB_EXEC,
270 "Result stack underflow - State=%p\n",
272 return (AE_AML_NO_OPERAND);
275 if (walk_state->result_size < ACPI_RESULTS_FRAME_OBJ_NUM) {
276 ACPI_ERROR((AE_INFO, "Insufficient result stack size"));
277 return (AE_AML_INTERNAL);
280 state = acpi_ut_pop_generic_state(&walk_state->results);
281 acpi_ut_delete_generic_state(state);
283 /* Decrease the length of result stack by the length of frame */
285 walk_state->result_size -= ACPI_RESULTS_FRAME_OBJ_NUM;
287 ACPI_DEBUG_PRINT((ACPI_DB_EXEC,
288 "Result=%p RemainingResults=%X State=%p\n",
289 state, walk_state->result_count, walk_state));
294 /*******************************************************************************
296 * FUNCTION: acpi_ds_obj_stack_push
298 * PARAMETERS: Object - Object to push
299 * walk_state - Current Walk state
303 * DESCRIPTION: Push an object onto this walk's object/operand stack
305 ******************************************************************************/
308 acpi_ds_obj_stack_push(void *object, struct acpi_walk_state * walk_state)
310 ACPI_FUNCTION_NAME(ds_obj_stack_push);
312 /* Check for stack overflow */
314 if (walk_state->num_operands >= ACPI_OBJ_NUM_OPERANDS) {
316 "Object stack overflow! Obj=%p State=%p #Ops=%X",
317 object, walk_state, walk_state->num_operands));
318 return (AE_STACK_OVERFLOW);
321 /* Put the object onto the stack */
323 walk_state->operands[walk_state->operand_index] = object;
324 walk_state->num_operands++;
326 /* For the usual order of filling the operand stack */
328 walk_state->operand_index++;
330 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Obj=%p [%s] State=%p #Ops=%X\n",
332 acpi_ut_get_object_type_name((union
333 acpi_operand_object *)
335 walk_state->num_operands));
340 /*******************************************************************************
342 * FUNCTION: acpi_ds_obj_stack_pop
344 * PARAMETERS: pop_count - Number of objects/entries to pop
345 * walk_state - Current Walk state
349 * DESCRIPTION: Pop this walk's object stack. Objects on the stack are NOT
350 * deleted by this routine.
352 ******************************************************************************/
355 acpi_ds_obj_stack_pop(u32 pop_count, struct acpi_walk_state * walk_state)
359 ACPI_FUNCTION_NAME(ds_obj_stack_pop);
361 for (i = 0; i < pop_count; i++) {
363 /* Check for stack underflow */
365 if (walk_state->num_operands == 0) {
367 "Object stack underflow! Count=%X State=%p #Ops=%X",
368 pop_count, walk_state,
369 walk_state->num_operands));
370 return (AE_STACK_UNDERFLOW);
373 /* Just set the stack entry to null */
375 walk_state->num_operands--;
376 walk_state->operands[walk_state->num_operands] = NULL;
379 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Count=%X State=%p #Ops=%X\n",
380 pop_count, walk_state, walk_state->num_operands));
385 /*******************************************************************************
387 * FUNCTION: acpi_ds_obj_stack_pop_and_delete
389 * PARAMETERS: pop_count - Number of objects/entries to pop
390 * walk_state - Current Walk state
394 * DESCRIPTION: Pop this walk's object stack and delete each object that is
397 ******************************************************************************/
400 acpi_ds_obj_stack_pop_and_delete(u32 pop_count,
401 struct acpi_walk_state *walk_state)
404 union acpi_operand_object *obj_desc;
406 ACPI_FUNCTION_NAME(ds_obj_stack_pop_and_delete);
408 if (pop_count == 0) {
412 for (i = (s32) pop_count - 1; i >= 0; i--) {
413 if (walk_state->num_operands == 0) {
417 /* Pop the stack and delete an object if present in this stack entry */
419 walk_state->num_operands--;
420 obj_desc = walk_state->operands[i];
422 acpi_ut_remove_reference(walk_state->operands[i]);
423 walk_state->operands[i] = NULL;
427 ACPI_DEBUG_PRINT((ACPI_DB_EXEC, "Count=%X State=%p #Ops=%X\n",
428 pop_count, walk_state, walk_state->num_operands));
431 /*******************************************************************************
433 * FUNCTION: acpi_ds_get_current_walk_state
435 * PARAMETERS: Thread - Get current active state for this Thread
437 * RETURN: Pointer to the current walk state
439 * DESCRIPTION: Get the walk state that is at the head of the list (the "current"
442 ******************************************************************************/
444 struct acpi_walk_state *acpi_ds_get_current_walk_state(struct acpi_thread_state
447 ACPI_FUNCTION_NAME(ds_get_current_walk_state);
453 ACPI_DEBUG_PRINT((ACPI_DB_PARSE, "Current WalkState %p\n",
454 thread->walk_state_list));
456 return (thread->walk_state_list);
459 /*******************************************************************************
461 * FUNCTION: acpi_ds_push_walk_state
463 * PARAMETERS: walk_state - State to push
464 * Thread - Thread state object
468 * DESCRIPTION: Place the Thread state at the head of the state list
470 ******************************************************************************/
473 acpi_ds_push_walk_state(struct acpi_walk_state *walk_state,
474 struct acpi_thread_state *thread)
476 ACPI_FUNCTION_TRACE(ds_push_walk_state);
478 walk_state->next = thread->walk_state_list;
479 thread->walk_state_list = walk_state;
484 /*******************************************************************************
486 * FUNCTION: acpi_ds_pop_walk_state
488 * PARAMETERS: Thread - Current thread state
490 * RETURN: A walk_state object popped from the thread's stack
492 * DESCRIPTION: Remove and return the walkstate object that is at the head of
493 * the walk stack for the given walk list. NULL indicates that
496 ******************************************************************************/
498 struct acpi_walk_state *acpi_ds_pop_walk_state(struct acpi_thread_state *thread)
500 struct acpi_walk_state *walk_state;
502 ACPI_FUNCTION_TRACE(ds_pop_walk_state);
504 walk_state = thread->walk_state_list;
508 /* Next walk state becomes the current walk state */
510 thread->walk_state_list = walk_state->next;
513 * Don't clear the NEXT field, this serves as an indicator
514 * that there is a parent WALK STATE
515 * Do Not: walk_state->Next = NULL;
519 return_PTR(walk_state);
522 /*******************************************************************************
524 * FUNCTION: acpi_ds_create_walk_state
526 * PARAMETERS: owner_id - ID for object creation
527 * Origin - Starting point for this walk
528 * method_desc - Method object
529 * Thread - Current thread state
531 * RETURN: Pointer to the new walk state.
533 * DESCRIPTION: Allocate and initialize a new walk state. The current walk
534 * state is set to this new state.
536 ******************************************************************************/
538 struct acpi_walk_state *acpi_ds_create_walk_state(acpi_owner_id owner_id, union acpi_parse_object
539 *origin, union acpi_operand_object
540 *method_desc, struct acpi_thread_state
543 struct acpi_walk_state *walk_state;
545 ACPI_FUNCTION_TRACE(ds_create_walk_state);
547 walk_state = ACPI_ALLOCATE_ZEROED(sizeof(struct acpi_walk_state));
552 walk_state->descriptor_type = ACPI_DESC_TYPE_WALK;
553 walk_state->method_desc = method_desc;
554 walk_state->owner_id = owner_id;
555 walk_state->origin = origin;
556 walk_state->thread = thread;
558 walk_state->parser_state.start_op = origin;
560 /* Init the method args/local */
562 #if (!defined (ACPI_NO_METHOD_EXECUTION) && !defined (ACPI_CONSTANT_EVAL_ONLY))
563 acpi_ds_method_data_init(walk_state);
566 /* Put the new state at the head of the walk list */
569 acpi_ds_push_walk_state(walk_state, thread);
572 return_PTR(walk_state);
575 /*******************************************************************************
577 * FUNCTION: acpi_ds_init_aml_walk
579 * PARAMETERS: walk_state - New state to be initialized
580 * Op - Current parse op
581 * method_node - Control method NS node, if any
582 * aml_start - Start of AML
583 * aml_length - Length of AML
584 * Info - Method info block (params, etc.)
585 * pass_number - 1, 2, or 3
589 * DESCRIPTION: Initialize a walk state for a pass 1 or 2 parse tree walk
591 ******************************************************************************/
594 acpi_ds_init_aml_walk(struct acpi_walk_state *walk_state,
595 union acpi_parse_object *op,
596 struct acpi_namespace_node *method_node,
599 struct acpi_evaluate_info *info, u8 pass_number)
602 struct acpi_parse_state *parser_state = &walk_state->parser_state;
603 union acpi_parse_object *extra_op;
605 ACPI_FUNCTION_TRACE(ds_init_aml_walk);
607 walk_state->parser_state.aml =
608 walk_state->parser_state.aml_start = aml_start;
609 walk_state->parser_state.aml_end =
610 walk_state->parser_state.pkg_end = aml_start + aml_length;
612 /* The next_op of the next_walk will be the beginning of the method */
614 walk_state->next_op = NULL;
615 walk_state->pass_number = pass_number;
618 walk_state->params = info->parameters;
619 walk_state->caller_return_desc = &info->return_object;
622 status = acpi_ps_init_scope(&walk_state->parser_state, op);
623 if (ACPI_FAILURE(status)) {
624 return_ACPI_STATUS(status);
628 walk_state->parser_state.start_node = method_node;
629 walk_state->walk_type = ACPI_WALK_METHOD;
630 walk_state->method_node = method_node;
631 walk_state->method_desc =
632 acpi_ns_get_attached_object(method_node);
634 /* Push start scope on scope stack and make it current */
637 acpi_ds_scope_stack_push(method_node, ACPI_TYPE_METHOD,
639 if (ACPI_FAILURE(status)) {
640 return_ACPI_STATUS(status);
643 /* Init the method arguments */
645 status = acpi_ds_method_data_init_args(walk_state->params,
646 ACPI_METHOD_NUM_ARGS,
648 if (ACPI_FAILURE(status)) {
649 return_ACPI_STATUS(status);
653 * Setup the current scope.
654 * Find a Named Op that has a namespace node associated with it.
655 * search upwards from this Op. Current scope is the first
656 * Op with a namespace node.
658 extra_op = parser_state->start_op;
659 while (extra_op && !extra_op->common.node) {
660 extra_op = extra_op->common.parent;
664 parser_state->start_node = NULL;
666 parser_state->start_node = extra_op->common.node;
669 if (parser_state->start_node) {
671 /* Push start scope on scope stack and make it current */
674 acpi_ds_scope_stack_push(parser_state->start_node,
675 parser_state->start_node->
677 if (ACPI_FAILURE(status)) {
678 return_ACPI_STATUS(status);
683 status = acpi_ds_init_callbacks(walk_state, pass_number);
684 return_ACPI_STATUS(status);
687 /*******************************************************************************
689 * FUNCTION: acpi_ds_delete_walk_state
691 * PARAMETERS: walk_state - State to delete
695 * DESCRIPTION: Delete a walk state including all internal data structures
697 ******************************************************************************/
699 void acpi_ds_delete_walk_state(struct acpi_walk_state *walk_state)
701 union acpi_generic_state *state;
703 ACPI_FUNCTION_TRACE_PTR(ds_delete_walk_state, walk_state);
709 if (walk_state->descriptor_type != ACPI_DESC_TYPE_WALK) {
710 ACPI_ERROR((AE_INFO, "%p is not a valid walk state",
715 /* There should not be any open scopes */
717 if (walk_state->parser_state.scope) {
718 ACPI_ERROR((AE_INFO, "%p walk still has a scope list",
720 acpi_ps_cleanup_scope(&walk_state->parser_state);
723 /* Always must free any linked control states */
725 while (walk_state->control_state) {
726 state = walk_state->control_state;
727 walk_state->control_state = state->common.next;
729 acpi_ut_delete_generic_state(state);
732 /* Always must free any linked parse states */
734 while (walk_state->scope_info) {
735 state = walk_state->scope_info;
736 walk_state->scope_info = state->common.next;
738 acpi_ut_delete_generic_state(state);
741 /* Always must free any stacked result states */
743 while (walk_state->results) {
744 state = walk_state->results;
745 walk_state->results = state->common.next;
747 acpi_ut_delete_generic_state(state);
750 ACPI_FREE(walk_state);