psparse.c 17.6 KB
Newer Older
Linus Torvalds's avatar
Linus Torvalds committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60
/******************************************************************************
 *
 * Module Name: psparse - Parser top level AML parse routines
 *
 *****************************************************************************/

/*
 * Copyright (C) 2000 - 2005, R. Byron Moore
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions, and the following disclaimer,
 *    without modification.
 * 2. Redistributions in binary form must reproduce at minimum a disclaimer
 *    substantially similar to the "NO WARRANTY" disclaimer below
 *    ("Disclaimer") and any redistribution must be conditioned upon
 *    including a substantially similar Disclaimer requirement for further
 *    binary redistribution.
 * 3. Neither the names of the above-listed copyright holders nor the names
 *    of any contributors may be used to endorse or promote products derived
 *    from this software without specific prior written permission.
 *
 * Alternatively, this software may be distributed under the terms of the
 * GNU General Public License ("GPL") version 2 as published by the Free
 * Software Foundation.
 *
 * NO WARRANTY
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR
 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
 * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGES.
 */

/*
 * Parse the AML and build an operation tree as most interpreters,
 * like Perl, do.  Parsing is done by hand rather than with a YACC
 * generated parser to tightly constrain stack and dynamic memory
 * usage.  At the same time, parsing is kept flexible and the code
 * fairly compact by parsing based on a list of AML opcode
 * templates in aml_op_info[]
 */

#include <acpi/acpi.h>
#include <acpi/acparser.h>
#include <acpi/acdispat.h>
#include <acpi/amlcode.h>
#include <acpi/acnamesp.h>
#include <acpi/acinterp.h>

#define _COMPONENT          ACPI_PARSER
Len Brown's avatar
Len Brown committed
61
ACPI_MODULE_NAME("psparse")
Linus Torvalds's avatar
Linus Torvalds committed
62 63 64 65 66 67 68 69 70 71 72 73

/*******************************************************************************
 *
 * FUNCTION:    acpi_ps_get_opcode_size
 *
 * PARAMETERS:  Opcode          - An AML opcode
 *
 * RETURN:      Size of the opcode, in bytes (1 or 2)
 *
 * DESCRIPTION: Get the size of the current opcode.
 *
 ******************************************************************************/
Len Brown's avatar
Len Brown committed
74
u32 acpi_ps_get_opcode_size(u32 opcode)
Linus Torvalds's avatar
Linus Torvalds committed
75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93
{

	/* Extended (2-byte) opcode if > 255 */

	if (opcode > 0x00FF) {
		return (2);
	}

	/* Otherwise, just a single byte opcode */

	return (1);
}

/*******************************************************************************
 *
 * FUNCTION:    acpi_ps_peek_opcode
 *
 * PARAMETERS:  parser_state        - A parser state object
 *
94
 * RETURN:      Next AML opcode
Linus Torvalds's avatar
Linus Torvalds committed
95 96 97 98 99
 *
 * DESCRIPTION: Get next AML opcode (without incrementing AML pointer)
 *
 ******************************************************************************/

Len Brown's avatar
Len Brown committed
100
u16 acpi_ps_peek_opcode(struct acpi_parse_state * parser_state)
Linus Torvalds's avatar
Linus Torvalds committed
101
{
Len Brown's avatar
Len Brown committed
102 103
	u8 *aml;
	u16 opcode;
Linus Torvalds's avatar
Linus Torvalds committed
104 105

	aml = parser_state->aml;
Len Brown's avatar
Len Brown committed
106
	opcode = (u16) ACPI_GET8(aml);
Linus Torvalds's avatar
Linus Torvalds committed
107

108 109
	if (opcode == AML_EXTENDED_OP_PREFIX) {
		/* Extended opcode, get the second opcode byte */
Linus Torvalds's avatar
Linus Torvalds committed
110 111

		aml++;
Len Brown's avatar
Len Brown committed
112
		opcode = (u16) ((opcode << 8) | ACPI_GET8(aml));
Linus Torvalds's avatar
Linus Torvalds committed
113 114 115 116 117 118 119 120 121 122 123 124
	}

	return (opcode);
}

/*******************************************************************************
 *
 * FUNCTION:    acpi_ps_complete_this_op
 *
 * PARAMETERS:  walk_state      - Current State
 *              Op              - Op to complete
 *
125
 * RETURN:      Status
Linus Torvalds's avatar
Linus Torvalds committed
126 127 128 129 130
 *
 * DESCRIPTION: Perform any cleanup at the completion of an Op.
 *
 ******************************************************************************/

131
acpi_status
Len Brown's avatar
Len Brown committed
132 133
acpi_ps_complete_this_op(struct acpi_walk_state * walk_state,
			 union acpi_parse_object * op)
Linus Torvalds's avatar
Linus Torvalds committed
134
{
Len Brown's avatar
Len Brown committed
135 136 137 138
	union acpi_parse_object *prev;
	union acpi_parse_object *next;
	const struct acpi_opcode_info *parent_info;
	union acpi_parse_object *replacement_op = NULL;
Linus Torvalds's avatar
Linus Torvalds committed
139

Len Brown's avatar
Len Brown committed
140
	ACPI_FUNCTION_TRACE_PTR("ps_complete_this_op", op);
Linus Torvalds's avatar
Linus Torvalds committed
141 142 143 144

	/* Check for null Op, can happen if AML code is corrupt */

	if (!op) {
Len Brown's avatar
Len Brown committed
145
		return_ACPI_STATUS(AE_OK);	/* OK for now */
Linus Torvalds's avatar
Linus Torvalds committed
146 147 148 149
	}

	/* Delete this op and the subtree below it if asked to */

Len Brown's avatar
Len Brown committed
150 151 152 153
	if (((walk_state->parse_flags & ACPI_PARSE_TREE_MASK) !=
	     ACPI_PARSE_DELETE_TREE)
	    || (walk_state->op_info->class == AML_CLASS_ARGUMENT)) {
		return_ACPI_STATUS(AE_OK);
Linus Torvalds's avatar
Linus Torvalds committed
154 155 156 157 158
	}

	/* Make sure that we only delete this subtree */

	if (op->common.parent) {
159 160 161 162 163 164 165
		prev = op->common.parent->common.value.arg;
		if (!prev) {
			/* Nothing more to do */

			goto cleanup;
		}

Linus Torvalds's avatar
Linus Torvalds committed
166 167 168 169
		/*
		 * Check if we need to replace the operator and its subtree
		 * with a return value op (placeholder op)
		 */
Len Brown's avatar
Len Brown committed
170 171 172
		parent_info =
		    acpi_ps_get_opcode_info(op->common.parent->common.
					    aml_opcode);
Linus Torvalds's avatar
Linus Torvalds committed
173 174 175 176 177 178 179 180 181 182 183

		switch (parent_info->class) {
		case AML_CLASS_CONTROL:
			break;

		case AML_CLASS_CREATE:

			/*
			 * These opcodes contain term_arg operands. The current
			 * op must be replaced by a placeholder return op
			 */
Len Brown's avatar
Len Brown committed
184 185
			replacement_op =
			    acpi_ps_alloc_op(AML_INT_RETURN_VALUE_OP);
Linus Torvalds's avatar
Linus Torvalds committed
186
			if (!replacement_op) {
187
				goto allocate_error;
Linus Torvalds's avatar
Linus Torvalds committed
188 189 190 191 192 193 194 195 196
			}
			break;

		case AML_CLASS_NAMED_OBJECT:

			/*
			 * These opcodes contain term_arg operands. The current
			 * op must be replaced by a placeholder return op
			 */
Len Brown's avatar
Len Brown committed
197 198 199 200 201 202 203 204 205 206 207 208
			if ((op->common.parent->common.aml_opcode ==
			     AML_REGION_OP)
			    || (op->common.parent->common.aml_opcode ==
				AML_DATA_REGION_OP)
			    || (op->common.parent->common.aml_opcode ==
				AML_BUFFER_OP)
			    || (op->common.parent->common.aml_opcode ==
				AML_PACKAGE_OP)
			    || (op->common.parent->common.aml_opcode ==
				AML_VAR_PACKAGE_OP)) {
				replacement_op =
				    acpi_ps_alloc_op(AML_INT_RETURN_VALUE_OP);
Linus Torvalds's avatar
Linus Torvalds committed
209
				if (!replacement_op) {
210
					goto allocate_error;
Linus Torvalds's avatar
Linus Torvalds committed
211
				}
Len Brown's avatar
Len Brown committed
212 213 214 215 216 217 218 219 220 221 222 223
			} else
			    if ((op->common.parent->common.aml_opcode ==
				 AML_NAME_OP)
				&& (walk_state->pass_number <=
				    ACPI_IMODE_LOAD_PASS2)) {
				if ((op->common.aml_opcode == AML_BUFFER_OP)
				    || (op->common.aml_opcode == AML_PACKAGE_OP)
				    || (op->common.aml_opcode ==
					AML_VAR_PACKAGE_OP)) {
					replacement_op =
					    acpi_ps_alloc_op(op->common.
							     aml_opcode);
Linus Torvalds's avatar
Linus Torvalds committed
224
					if (!replacement_op) {
225
						goto allocate_error;
Linus Torvalds's avatar
Linus Torvalds committed
226 227
					}

Len Brown's avatar
Len Brown committed
228 229 230 231
					replacement_op->named.data =
					    op->named.data;
					replacement_op->named.length =
					    op->named.length;
Linus Torvalds's avatar
Linus Torvalds committed
232 233 234 235 236
				}
			}
			break;

		default:
237

Len Brown's avatar
Len Brown committed
238 239
			replacement_op =
			    acpi_ps_alloc_op(AML_INT_RETURN_VALUE_OP);
Linus Torvalds's avatar
Linus Torvalds committed
240
			if (!replacement_op) {
241
				goto allocate_error;
Linus Torvalds's avatar
Linus Torvalds committed
242 243 244 245 246 247 248 249 250
			}
		}

		/* We must unlink this op from the parent tree */

		if (prev == op) {
			/* This op is the first in the list */

			if (replacement_op) {
Len Brown's avatar
Len Brown committed
251 252 253 254 255 256 257 258 259 260
				replacement_op->common.parent =
				    op->common.parent;
				replacement_op->common.value.arg = NULL;
				replacement_op->common.node = op->common.node;
				op->common.parent->common.value.arg =
				    replacement_op;
				replacement_op->common.next = op->common.next;
			} else {
				op->common.parent->common.value.arg =
				    op->common.next;
Linus Torvalds's avatar
Linus Torvalds committed
261 262 263 264 265
			}
		}

		/* Search the parent list */

Len Brown's avatar
Len Brown committed
266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288
		else
			while (prev) {
				/* Traverse all siblings in the parent's argument list */

				next = prev->common.next;
				if (next == op) {
					if (replacement_op) {
						replacement_op->common.parent =
						    op->common.parent;
						replacement_op->common.value.
						    arg = NULL;
						replacement_op->common.node =
						    op->common.node;
						prev->common.next =
						    replacement_op;
						replacement_op->common.next =
						    op->common.next;
						next = NULL;
					} else {
						prev->common.next =
						    op->common.next;
						next = NULL;
					}
Linus Torvalds's avatar
Linus Torvalds committed
289
				}
Len Brown's avatar
Len Brown committed
290
				prev = next;
Linus Torvalds's avatar
Linus Torvalds committed
291 292 293
			}
	}

Len Brown's avatar
Len Brown committed
294
      cleanup:
Linus Torvalds's avatar
Linus Torvalds committed
295

296
	/* Now we can actually delete the subtree rooted at Op */
Linus Torvalds's avatar
Linus Torvalds committed
297

Len Brown's avatar
Len Brown committed
298 299
	acpi_ps_delete_parse_tree(op);
	return_ACPI_STATUS(AE_OK);
300

Len Brown's avatar
Len Brown committed
301
      allocate_error:
302 303 304

	/* Always delete the subtree, even on error */

Len Brown's avatar
Len Brown committed
305 306
	acpi_ps_delete_parse_tree(op);
	return_ACPI_STATUS(AE_NO_MEMORY);
Linus Torvalds's avatar
Linus Torvalds committed
307 308 309 310 311 312
}

/*******************************************************************************
 *
 * FUNCTION:    acpi_ps_next_parse_state
 *
313 314 315
 * PARAMETERS:  walk_state          - Current state
 *              Op                  - Current parse op
 *              callback_status     - Status from previous operation
Linus Torvalds's avatar
Linus Torvalds committed
316 317 318 319 320 321 322 323
 *
 * RETURN:      Status
 *
 * DESCRIPTION: Update the parser state based upon the return exception from
 *              the parser callback.
 *
 ******************************************************************************/

324
acpi_status
Len Brown's avatar
Len Brown committed
325 326 327
acpi_ps_next_parse_state(struct acpi_walk_state *walk_state,
			 union acpi_parse_object *op,
			 acpi_status callback_status)
Linus Torvalds's avatar
Linus Torvalds committed
328
{
Len Brown's avatar
Len Brown committed
329 330
	struct acpi_parse_state *parser_state = &walk_state->parser_state;
	acpi_status status = AE_CTRL_PENDING;
Linus Torvalds's avatar
Linus Torvalds committed
331

Len Brown's avatar
Len Brown committed
332
	ACPI_FUNCTION_TRACE_PTR("ps_next_parse_state", op);
Linus Torvalds's avatar
Linus Torvalds committed
333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376

	switch (callback_status) {
	case AE_CTRL_TERMINATE:

		/*
		 * A control method was terminated via a RETURN statement.
		 * The walk of this method is complete.
		 */
		parser_state->aml = parser_state->aml_end;
		status = AE_CTRL_TERMINATE;
		break;

	case AE_CTRL_BREAK:

		parser_state->aml = walk_state->aml_last_while;
		walk_state->control_state->common.value = FALSE;
		status = AE_CTRL_BREAK;
		break;

	case AE_CTRL_CONTINUE:

		parser_state->aml = walk_state->aml_last_while;
		status = AE_CTRL_CONTINUE;
		break;

	case AE_CTRL_PENDING:

		parser_state->aml = walk_state->aml_last_while;
		break;

#if 0
	case AE_CTRL_SKIP:

		parser_state->aml = parser_state->scope->parse_scope.pkg_end;
		status = AE_OK;
		break;
#endif

	case AE_CTRL_TRUE:

		/*
		 * Predicate of an IF was true, and we are at the matching ELSE.
		 * Just close out this package
		 */
Len Brown's avatar
Len Brown committed
377
		parser_state->aml = acpi_ps_get_next_package_end(parser_state);
Linus Torvalds's avatar
Linus Torvalds committed
378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398
		break;

	case AE_CTRL_FALSE:

		/*
		 * Either an IF/WHILE Predicate was false or we encountered a BREAK
		 * opcode.  In both cases, we do not execute the rest of the
		 * package;  We simply close out the parent (finishing the walk of
		 * this branch of the tree) and continue execution at the parent
		 * level.
		 */
		parser_state->aml = parser_state->scope->parse_scope.pkg_end;

		/* In the case of a BREAK, just force a predicate (if any) to FALSE */

		walk_state->control_state->common.value = FALSE;
		status = AE_CTRL_END;
		break;

	case AE_CTRL_TRANSFER:

399 400
		/* A method call (invocation) -- transfer control */

Linus Torvalds's avatar
Linus Torvalds committed
401 402 403
		status = AE_CTRL_TRANSFER;
		walk_state->prev_op = op;
		walk_state->method_call_op = op;
Len Brown's avatar
Len Brown committed
404 405
		walk_state->method_call_node =
		    (op->common.value.arg)->common.node;
Linus Torvalds's avatar
Linus Torvalds committed
406 407 408

		/* Will return value (if any) be used by the caller? */

Len Brown's avatar
Len Brown committed
409 410
		walk_state->return_used =
		    acpi_ds_is_result_used(op, walk_state);
Linus Torvalds's avatar
Linus Torvalds committed
411 412 413
		break;

	default:
414

Linus Torvalds's avatar
Linus Torvalds committed
415 416 417 418 419 420 421
		status = callback_status;
		if ((callback_status & AE_CODE_MASK) == AE_CODE_CONTROL) {
			status = AE_OK;
		}
		break;
	}

Len Brown's avatar
Len Brown committed
422
	return_ACPI_STATUS(status);
Linus Torvalds's avatar
Linus Torvalds committed
423 424 425 426 427 428
}

/*******************************************************************************
 *
 * FUNCTION:    acpi_ps_parse_aml
 *
429
 * PARAMETERS:  walk_state      - Current state
Linus Torvalds's avatar
Linus Torvalds committed
430 431 432 433 434 435 436 437
 *
 *
 * RETURN:      Status
 *
 * DESCRIPTION: Parse raw AML and return a tree of ops
 *
 ******************************************************************************/

Len Brown's avatar
Len Brown committed
438
acpi_status acpi_ps_parse_aml(struct acpi_walk_state *walk_state)
Linus Torvalds's avatar
Linus Torvalds committed
439
{
Len Brown's avatar
Len Brown committed
440 441 442 443
	acpi_status status;
	struct acpi_thread_state *thread;
	struct acpi_thread_state *prev_walk_list = acpi_gbl_current_walk_list;
	struct acpi_walk_state *previous_walk_state;
Linus Torvalds's avatar
Linus Torvalds committed
444

Len Brown's avatar
Len Brown committed
445
	ACPI_FUNCTION_TRACE("ps_parse_aml");
Linus Torvalds's avatar
Linus Torvalds committed
446

Len Brown's avatar
Len Brown committed
447 448 449 450
	ACPI_DEBUG_PRINT((ACPI_DB_PARSE,
			  "Entered with walk_state=%p Aml=%p size=%X\n",
			  walk_state, walk_state->parser_state.aml,
			  walk_state->parser_state.aml_size));
Linus Torvalds's avatar
Linus Torvalds committed
451 452 453

	/* Create and initialize a new thread state */

Len Brown's avatar
Len Brown committed
454
	thread = acpi_ut_create_thread_state();
Linus Torvalds's avatar
Linus Torvalds committed
455
	if (!thread) {
Len Brown's avatar
Len Brown committed
456
		return_ACPI_STATUS(AE_NO_MEMORY);
Linus Torvalds's avatar
Linus Torvalds committed
457 458 459
	}

	walk_state->thread = thread;
Len Brown's avatar
Len Brown committed
460
	acpi_ds_push_walk_state(walk_state, thread);
Linus Torvalds's avatar
Linus Torvalds committed
461 462 463 464 465 466 467 468 469 470 471

	/*
	 * This global allows the AML debugger to get a handle to the currently
	 * executing control method.
	 */
	acpi_gbl_current_walk_list = thread;

	/*
	 * Execute the walk loop as long as there is a valid Walk State.  This
	 * handles nested control method invocations without recursion.
	 */
Len Brown's avatar
Len Brown committed
472
	ACPI_DEBUG_PRINT((ACPI_DB_PARSE, "State=%p\n", walk_state));
Linus Torvalds's avatar
Linus Torvalds committed
473 474 475

	status = AE_OK;
	while (walk_state) {
Len Brown's avatar
Len Brown committed
476
		if (ACPI_SUCCESS(status)) {
Linus Torvalds's avatar
Linus Torvalds committed
477 478 479 480
			/*
			 * The parse_loop executes AML until the method terminates
			 * or calls another method.
			 */
Len Brown's avatar
Len Brown committed
481
			status = acpi_ps_parse_loop(walk_state);
Linus Torvalds's avatar
Linus Torvalds committed
482 483
		}

Len Brown's avatar
Len Brown committed
484 485 486
		ACPI_DEBUG_PRINT((ACPI_DB_PARSE,
				  "Completed one call to walk loop, %s State=%p\n",
				  acpi_format_exception(status), walk_state));
Linus Torvalds's avatar
Linus Torvalds committed
487 488 489 490 491 492

		if (status == AE_CTRL_TRANSFER) {
			/*
			 * A method call was detected.
			 * Transfer control to the called control method
			 */
Len Brown's avatar
Len Brown committed
493 494 495
			status =
			    acpi_ds_call_control_method(thread, walk_state,
							NULL);
Linus Torvalds's avatar
Linus Torvalds committed
496 497 498 499 500

			/*
			 * If the transfer to the new method method call worked, a new walk
			 * state was created -- get it
			 */
Len Brown's avatar
Len Brown committed
501
			walk_state = acpi_ds_get_current_walk_state(thread);
Linus Torvalds's avatar
Linus Torvalds committed
502
			continue;
Len Brown's avatar
Len Brown committed
503
		} else if (status == AE_CTRL_TERMINATE) {
Linus Torvalds's avatar
Linus Torvalds committed
504
			status = AE_OK;
Len Brown's avatar
Len Brown committed
505
		} else if ((status != AE_OK) && (walk_state->method_desc)) {
Bob Moore's avatar
Bob Moore committed
506
			/* Either the method parse or actual execution failed */
Linus Torvalds's avatar
Linus Torvalds committed
507

Bob Moore's avatar
Bob Moore committed
508 509 510
			ACPI_REPORT_METHOD_ERROR
			    ("Method parse/execution failed",
			     walk_state->method_node, NULL, status);
Robert Moore's avatar
Robert Moore committed
511

Linus Torvalds's avatar
Linus Torvalds committed
512 513 514
			/* Check for possible multi-thread reentrancy problem */

			if ((status == AE_ALREADY_EXISTS) &&
Len Brown's avatar
Len Brown committed
515
			    (!walk_state->method_desc->method.semaphore)) {
Linus Torvalds's avatar
Linus Torvalds committed
516
				/*
Bob Moore's avatar
Bob Moore committed
517 518 519 520
				 * Method tried to create an object twice. The probable cause is
				 * that the method cannot handle reentrancy.
				 *
				 * The method is marked not_serialized, but it tried to create
521
				 * a named object, causing the second thread entrance to fail.
Bob Moore's avatar
Bob Moore committed
522
				 * Workaround this problem by marking the method permanently
523
				 * as Serialized.
Linus Torvalds's avatar
Linus Torvalds committed
524
				 */
Len Brown's avatar
Len Brown committed
525 526
				walk_state->method_desc->method.method_flags |=
				    AML_METHOD_SERIALIZED;
Linus Torvalds's avatar
Linus Torvalds committed
527 528 529 530 531 532
				walk_state->method_desc->method.concurrency = 1;
			}
		}

		/* We are done with this walk, move on to the parent if any */

Len Brown's avatar
Len Brown committed
533
		walk_state = acpi_ds_pop_walk_state(thread);
Linus Torvalds's avatar
Linus Torvalds committed
534 535 536

		/* Reset the current scope to the beginning of scope stack */

Len Brown's avatar
Len Brown committed
537
		acpi_ds_scope_stack_clear(walk_state);
Linus Torvalds's avatar
Linus Torvalds committed
538 539

		/*
Bob Moore's avatar
Bob Moore committed
540 541 542
		 * If we just returned from the execution of a control method or if we
		 * encountered an error during the method parse phase, there's lots of
		 * cleanup to do
Linus Torvalds's avatar
Linus Torvalds committed
543
		 */
Bob Moore's avatar
Bob Moore committed
544 545
		if (((walk_state->parse_flags & ACPI_PARSE_MODE_MASK) ==
		     ACPI_PARSE_EXECUTE) || (ACPI_FAILURE(status))) {
Robert Moore's avatar
Robert Moore committed
546 547
			if (walk_state->method_desc) {
				/* Decrement the thread count on the method parse tree */
Len Brown's avatar
Len Brown committed
548

Bob Moore's avatar
Bob Moore committed
549 550 551 552 553 554 555
				if (walk_state->method_desc->method.
				    thread_count) {
					walk_state->method_desc->method.
					    thread_count--;
				} else {
					ACPI_REPORT_ERROR(("Invalid zero thread count in method\n"));
				}
Linus Torvalds's avatar
Linus Torvalds committed
556
			}
Robert Moore's avatar
Robert Moore committed
557 558

			acpi_ds_terminate_control_method(walk_state);
Linus Torvalds's avatar
Linus Torvalds committed
559 560 561 562
		}

		/* Delete this walk state and all linked control states */

Len Brown's avatar
Len Brown committed
563
		acpi_ps_cleanup_scope(&walk_state->parser_state);
Linus Torvalds's avatar
Linus Torvalds committed
564 565
		previous_walk_state = walk_state;

Len Brown's avatar
Len Brown committed
566 567 568 569
		ACPI_DEBUG_PRINT((ACPI_DB_PARSE,
				  "return_value=%p, implicit_value=%p State=%p\n",
				  walk_state->return_desc,
				  walk_state->implicit_return_obj, walk_state));
Linus Torvalds's avatar
Linus Torvalds committed
570 571 572

		/* Check if we have restarted a preempted walk */

Len Brown's avatar
Len Brown committed
573
		walk_state = acpi_ds_get_current_walk_state(thread);
Linus Torvalds's avatar
Linus Torvalds committed
574
		if (walk_state) {
Len Brown's avatar
Len Brown committed
575
			if (ACPI_SUCCESS(status)) {
Linus Torvalds's avatar
Linus Torvalds committed
576 577 578 579 580 581
				/*
				 * There is another walk state, restart it.
				 * If the method return value is not used by the parent,
				 * The object is deleted
				 */
				if (!previous_walk_state->return_desc) {
Len Brown's avatar
Len Brown committed
582 583 584 585 586 587
					status =
					    acpi_ds_restart_control_method
					    (walk_state,
					     previous_walk_state->
					     implicit_return_obj);
				} else {
Linus Torvalds's avatar
Linus Torvalds committed
588 589 590 591
					/*
					 * We have a valid return value, delete any implicit
					 * return value.
					 */
Len Brown's avatar
Len Brown committed
592 593
					acpi_ds_clear_implicit_return
					    (previous_walk_state);
Linus Torvalds's avatar
Linus Torvalds committed
594

Len Brown's avatar
Len Brown committed
595 596 597 598
					status =
					    acpi_ds_restart_control_method
					    (walk_state,
					     previous_walk_state->return_desc);
Linus Torvalds's avatar
Linus Torvalds committed
599
				}
Len Brown's avatar
Len Brown committed
600 601 602
				if (ACPI_SUCCESS(status)) {
					walk_state->walk_type |=
					    ACPI_WALK_METHOD_RESTART;
Linus Torvalds's avatar
Linus Torvalds committed
603
				}
Len Brown's avatar
Len Brown committed
604
			} else {
Linus Torvalds's avatar
Linus Torvalds committed
605 606
				/* On error, delete any return object */

Len Brown's avatar
Len Brown committed
607 608
				acpi_ut_remove_reference(previous_walk_state->
							 return_desc);
Linus Torvalds's avatar
Linus Torvalds committed
609 610 611 612 613 614 615 616 617
			}
		}

		/*
		 * Just completed a 1st-level method, save the final internal return
		 * value (if any)
		 */
		else if (previous_walk_state->caller_return_desc) {
			if (previous_walk_state->implicit_return_obj) {
618
				*(previous_walk_state->caller_return_desc) =
Len Brown's avatar
Len Brown committed
619 620 621
				    previous_walk_state->implicit_return_obj;
			} else {
				/* NULL if no return value */
Linus Torvalds's avatar
Linus Torvalds committed
622

623
				*(previous_walk_state->caller_return_desc) =
Len Brown's avatar
Len Brown committed
624
				    previous_walk_state->return_desc;
Linus Torvalds's avatar
Linus Torvalds committed
625
			}
Len Brown's avatar
Len Brown committed
626
		} else {
Linus Torvalds's avatar
Linus Torvalds committed
627 628 629
			if (previous_walk_state->return_desc) {
				/* Caller doesn't want it, must delete it */

Len Brown's avatar
Len Brown committed
630 631
				acpi_ut_remove_reference(previous_walk_state->
							 return_desc);
Linus Torvalds's avatar
Linus Torvalds committed
632 633 634 635
			}
			if (previous_walk_state->implicit_return_obj) {
				/* Caller doesn't want it, must delete it */

Len Brown's avatar
Len Brown committed
636 637
				acpi_ut_remove_reference(previous_walk_state->
							 implicit_return_obj);
Linus Torvalds's avatar
Linus Torvalds committed
638 639 640
			}
		}

Len Brown's avatar
Len Brown committed
641
		acpi_ds_delete_walk_state(previous_walk_state);
Linus Torvalds's avatar
Linus Torvalds committed
642 643 644 645
	}

	/* Normal exit */

Len Brown's avatar
Len Brown committed
646 647 648
	acpi_ex_release_all_mutexes(thread);
	acpi_ut_delete_generic_state(ACPI_CAST_PTR
				     (union acpi_generic_state, thread));
Linus Torvalds's avatar
Linus Torvalds committed
649
	acpi_gbl_current_walk_list = prev_walk_list;
Len Brown's avatar
Len Brown committed
650
	return_ACPI_STATUS(status);
Linus Torvalds's avatar
Linus Torvalds committed
651
}