| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /******************************************************************************* | 
 | 2 |  * | 
 | 3 |  * Module Name: dsutils - Dispatcher utilities | 
 | 4 |  * | 
 | 5 |  ******************************************************************************/ | 
 | 6 |  | 
 | 7 | /* | 
| Bob Moore | a8357b0 | 2010-01-22 19:07:36 +0800 | [diff] [blame] | 8 |  * Copyright (C) 2000 - 2010, Intel Corp. | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 44 | #include <acpi/acpi.h> | 
| Len Brown | e2f7a77 | 2009-01-09 00:30:03 -0500 | [diff] [blame] | 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" | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 52 |  | 
 | 53 | #define _COMPONENT          ACPI_DISPATCHER | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 54 | ACPI_MODULE_NAME("dsutils") | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 |  ******************************************************************************/ | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 70 | void acpi_ds_clear_implicit_return(struct acpi_walk_state *walk_state) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 71 | { | 
| Bob Moore | b229cf9 | 2006-04-21 17:15:00 -0400 | [diff] [blame] | 72 | 	ACPI_FUNCTION_NAME(ds_clear_implicit_return); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | 		 */ | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 87 | 		ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, | 
 | 88 | 				  "Removing reference on stale implicit return obj %p\n", | 
 | 89 | 				  walk_state->implicit_return_obj)); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 90 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 91 | 		acpi_ut_remove_reference(walk_state->implicit_return_obj); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 92 | 		walk_state->implicit_return_obj = NULL; | 
 | 93 | 	} | 
 | 94 | } | 
 | 95 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 96 | #ifndef ACPI_NO_METHOD_EXECUTION | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 116 | acpi_ds_do_implicit_return(union acpi_operand_object *return_desc, | 
 | 117 | 			   struct acpi_walk_state *walk_state, u8 add_reference) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 118 | { | 
| Bob Moore | b229cf9 | 2006-04-21 17:15:00 -0400 | [diff] [blame] | 119 | 	ACPI_FUNCTION_NAME(ds_do_implicit_return); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 120 |  | 
 | 121 | 	/* | 
 | 122 | 	 * Slack must be enabled for this feature, and we must | 
 | 123 | 	 * have a valid return object | 
 | 124 | 	 */ | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 125 | 	if ((!acpi_gbl_enable_interpreter_slack) || (!return_desc)) { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 126 | 		return (FALSE); | 
 | 127 | 	} | 
 | 128 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 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)); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | 		} | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 143 | 		acpi_ds_clear_implicit_return(walk_state); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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) { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 150 | 		acpi_ut_add_reference(return_desc); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 151 | 	} | 
 | 152 |  | 
 | 153 | 	return (TRUE); | 
 | 154 | } | 
 | 155 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 156 | /******************************************************************************* | 
 | 157 |  * | 
 | 158 |  * FUNCTION:    acpi_ds_is_result_used | 
 | 159 |  * | 
 | 160 |  * PARAMETERS:  Op                  - Current Op | 
 | 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 | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 170 | acpi_ds_is_result_used(union acpi_parse_object * op, | 
 | 171 | 		       struct acpi_walk_state * walk_state) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 172 | { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 173 | 	const struct acpi_opcode_info *parent_info; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 174 |  | 
| Bob Moore | b229cf9 | 2006-04-21 17:15:00 -0400 | [diff] [blame] | 175 | 	ACPI_FUNCTION_TRACE_PTR(ds_is_result_used, op); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 176 |  | 
 | 177 | 	/* Must have both an Op and a Result Object */ | 
 | 178 |  | 
 | 179 | 	if (!op) { | 
| Bob Moore | b8e4d89 | 2006-01-27 16:43:00 -0500 | [diff] [blame] | 180 | 		ACPI_ERROR((AE_INFO, "Null Op")); | 
| Bob Moore | 50eca3e | 2005-09-30 19:03:00 -0400 | [diff] [blame] | 181 | 		return_UINT8(TRUE); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | 	 */ | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 193 | 	(void)acpi_ds_do_implicit_return(walk_state->result_obj, walk_state, | 
 | 194 | 					 TRUE); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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) || | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 205 | 	    (op->common.parent->common.aml_opcode == AML_SCOPE_OP)) { | 
| Bob Moore | 52fc0b0 | 2006-10-02 00:00:00 -0400 | [diff] [blame] | 206 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 207 | 		/* No parent, the return value cannot possibly be used */ | 
 | 208 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 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))); | 
| Bob Moore | 50eca3e | 2005-09-30 19:03:00 -0400 | [diff] [blame] | 213 | 		return_UINT8(FALSE); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 214 | 	} | 
 | 215 |  | 
 | 216 | 	/* Get info on the parent. The root_op is AML_SCOPE */ | 
 | 217 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 218 | 	parent_info = | 
 | 219 | 	    acpi_ps_get_opcode_info(op->common.parent->common.aml_opcode); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 220 | 	if (parent_info->class == AML_CLASS_UNKNOWN) { | 
| Bob Moore | b8e4d89 | 2006-01-27 16:43:00 -0500 | [diff] [blame] | 221 | 		ACPI_ERROR((AE_INFO, "Unknown parent opcode Op=%p", op)); | 
| Bob Moore | 50eca3e | 2005-09-30 19:03:00 -0400 | [diff] [blame] | 222 | 		return_UINT8(FALSE); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | 			 */ | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 248 | 			if ((walk_state->control_state->common.state == | 
 | 249 | 			     ACPI_CONTROL_PREDICATE_EXECUTING) | 
 | 250 | 			    && (walk_state->control_state->control. | 
 | 251 | 				predicate_op == op)) { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 273 | 	case AML_CLASS_NAMED_OBJECT: | 
 | 274 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 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 == | 
| Lin Ming | ef805d9 | 2008-04-10 19:06:41 +0400 | [diff] [blame] | 282 | 			AML_INT_EVAL_SUBTREE_OP) | 
 | 283 | 		    || (op->common.parent->common.aml_opcode == | 
 | 284 | 			AML_BANK_FIELD_OP)) { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 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)); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 309 |  | 
| Bob Moore | 50eca3e | 2005-09-30 19:03:00 -0400 | [diff] [blame] | 310 | 	return_UINT8(TRUE); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 311 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 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)); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 318 |  | 
| Bob Moore | 50eca3e | 2005-09-30 19:03:00 -0400 | [diff] [blame] | 319 | 	return_UINT8(FALSE); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 320 | } | 
 | 321 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 322 | /******************************************************************************* | 
 | 323 |  * | 
 | 324 |  * FUNCTION:    acpi_ds_delete_result_if_not_used | 
 | 325 |  * | 
 | 326 |  * PARAMETERS:  Op              - Current parse Op | 
 | 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 | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 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) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 343 | { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 344 | 	union acpi_operand_object *obj_desc; | 
 | 345 | 	acpi_status status; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 346 |  | 
| Bob Moore | b229cf9 | 2006-04-21 17:15:00 -0400 | [diff] [blame] | 347 | 	ACPI_FUNCTION_TRACE_PTR(ds_delete_result_if_not_used, result_obj); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 348 |  | 
 | 349 | 	if (!op) { | 
| Bob Moore | b8e4d89 | 2006-01-27 16:43:00 -0500 | [diff] [blame] | 350 | 		ACPI_ERROR((AE_INFO, "Null Op")); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 351 | 		return_VOID; | 
 | 352 | 	} | 
 | 353 |  | 
 | 354 | 	if (!result_obj) { | 
 | 355 | 		return_VOID; | 
 | 356 | 	} | 
 | 357 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 358 | 	if (!acpi_ds_is_result_used(op, walk_state)) { | 
| Bob Moore | 52fc0b0 | 2006-10-02 00:00:00 -0400 | [diff] [blame] | 359 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 360 | 		/* Must pop the result stack (obj_desc should be equal to result_obj) */ | 
 | 361 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 362 | 		status = acpi_ds_result_pop(&obj_desc, walk_state); | 
 | 363 | 		if (ACPI_SUCCESS(status)) { | 
 | 364 | 			acpi_ut_remove_reference(result_obj); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 365 | 		} | 
 | 366 | 	} | 
 | 367 |  | 
 | 368 | 	return_VOID; | 
 | 369 | } | 
 | 370 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 385 | acpi_status acpi_ds_resolve_operands(struct acpi_walk_state *walk_state) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 386 | { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 387 | 	u32 i; | 
 | 388 | 	acpi_status status = AE_OK; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 389 |  | 
| Bob Moore | b229cf9 | 2006-04-21 17:15:00 -0400 | [diff] [blame] | 390 | 	ACPI_FUNCTION_TRACE_PTR(ds_resolve_operands, walk_state); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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++) { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 398 | 		status = | 
 | 399 | 		    acpi_ex_resolve_to_value(&walk_state->operands[i], | 
 | 400 | 					     walk_state); | 
 | 401 | 		if (ACPI_FAILURE(status)) { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 402 | 			break; | 
 | 403 | 		} | 
 | 404 | 	} | 
 | 405 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 406 | 	return_ACPI_STATUS(status); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 407 | } | 
 | 408 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 421 | void acpi_ds_clear_operands(struct acpi_walk_state *walk_state) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 422 | { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 423 | 	u32 i; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 424 |  | 
| Bob Moore | b229cf9 | 2006-04-21 17:15:00 -0400 | [diff] [blame] | 425 | 	ACPI_FUNCTION_TRACE_PTR(ds_clear_operands, walk_state); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | 		 */ | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 434 | 		acpi_ut_remove_reference(walk_state->operands[i]); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 435 | 		walk_state->operands[i] = NULL; | 
 | 436 | 	} | 
 | 437 |  | 
 | 438 | 	walk_state->num_operands = 0; | 
 | 439 | 	return_VOID; | 
 | 440 | } | 
 | 441 | #endif | 
 | 442 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 443 | /******************************************************************************* | 
 | 444 |  * | 
 | 445 |  * FUNCTION:    acpi_ds_create_operand | 
 | 446 |  * | 
 | 447 |  * PARAMETERS:  walk_state      - Current walk state | 
 | 448 |  *              Arg             - Parse object for the argument | 
 | 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 | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 461 | acpi_ds_create_operand(struct acpi_walk_state *walk_state, | 
 | 462 | 		       union acpi_parse_object *arg, u32 arg_index) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 463 | { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 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; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 472 |  | 
| Bob Moore | b229cf9 | 2006-04-21 17:15:00 -0400 | [diff] [blame] | 473 | 	ACPI_FUNCTION_TRACE_PTR(ds_create_operand, arg); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 474 |  | 
 | 475 | 	/* A valid name must be looked up in the namespace */ | 
 | 476 |  | 
 | 477 | 	if ((arg->common.aml_opcode == AML_INT_NAMEPATH_OP) && | 
| Bob Moore | 4e3156b | 2008-04-10 19:06:37 +0400 | [diff] [blame] | 478 | 	    (arg->common.value.string) && | 
 | 479 | 	    !(arg->common.flags & ACPI_PARSEOP_IN_STACK)) { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 480 | 		ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, "Getting a name: Arg=%p\n", | 
 | 481 | 				  arg)); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 482 |  | 
 | 483 | 		/* Get the entire name string from the AML stream */ | 
 | 484 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 485 | 		status = | 
 | 486 | 		    acpi_ex_get_name_string(ACPI_TYPE_ANY, | 
 | 487 | 					    arg->common.value.buffer, | 
 | 488 | 					    &name_string, &name_length); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 489 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 490 | 		if (ACPI_FAILURE(status)) { | 
 | 491 | 			return_ACPI_STATUS(status); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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) && | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 506 | 		    (walk_state->deferred_node->type == ACPI_TYPE_BUFFER_FIELD) | 
| Bob Moore | 52fc0b0 | 2006-10-02 00:00:00 -0400 | [diff] [blame] | 507 | 		    && (arg_index == | 
 | 508 | 			(u32) ((walk_state->opcode == | 
 | 509 | 				AML_CREATE_FIELD_OP) ? 3 : 2))) { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 510 | 			obj_desc = | 
 | 511 | 			    ACPI_CAST_PTR(union acpi_operand_object, | 
 | 512 | 					  walk_state->deferred_node); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 513 | 			status = AE_OK; | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 514 | 		} else {	/* All other opcodes */ | 
 | 515 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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; | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 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)) { | 
| Bob Moore | 52fc0b0 | 2006-10-02 00:00:00 -0400 | [diff] [blame] | 532 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 533 | 				/* Enter name into namespace if not found */ | 
 | 534 |  | 
 | 535 | 				interpreter_mode = ACPI_IMODE_LOAD_PASS2; | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 536 | 			} else { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 537 | 				/* Return a failure if name not found */ | 
 | 538 |  | 
 | 539 | 				interpreter_mode = ACPI_IMODE_EXECUTE; | 
 | 540 | 			} | 
 | 541 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 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)); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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) { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 555 | 				if (parent_op->common.aml_opcode == | 
 | 556 | 				    AML_COND_REF_OF_OP) { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | 					 */ | 
| Len Brown | fd35094 | 2007-05-09 23:34:35 -0400 | [diff] [blame] | 563 | 					obj_desc = ACPI_CAST_PTR(union | 
 | 564 | 								 acpi_operand_object, | 
 | 565 | 								 acpi_gbl_root_node); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 566 | 					status = AE_OK; | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 567 | 				} else { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 576 | 			if (ACPI_FAILURE(status)) { | 
| Bob Moore | b8e4d89 | 2006-01-27 16:43:00 -0500 | [diff] [blame] | 577 | 				ACPI_ERROR_NAMESPACE(name_string, status); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 578 | 			} | 
 | 579 | 		} | 
 | 580 |  | 
 | 581 | 		/* Free the namestring created above */ | 
 | 582 |  | 
| Bob Moore | 8313524 | 2006-10-03 00:00:00 -0400 | [diff] [blame] | 583 | 		ACPI_FREE(name_string); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 584 |  | 
 | 585 | 		/* Check status from the lookup */ | 
 | 586 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 587 | 		if (ACPI_FAILURE(status)) { | 
 | 588 | 			return_ACPI_STATUS(status); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 589 | 		} | 
 | 590 |  | 
 | 591 | 		/* Put the resulting object onto the current object stack */ | 
 | 592 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 593 | 		status = acpi_ds_obj_stack_push(obj_desc, walk_state); | 
 | 594 | 		if (ACPI_FAILURE(status)) { | 
 | 595 | 			return_ACPI_STATUS(status); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 596 | 		} | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 597 | 		ACPI_DEBUGGER_EXEC(acpi_db_display_argument_object | 
 | 598 | 				   (obj_desc, walk_state)); | 
 | 599 | 	} else { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 600 | 		/* Check for null name case */ | 
 | 601 |  | 
| Bob Moore | 4e3156b | 2008-04-10 19:06:37 +0400 | [diff] [blame] | 602 | 		if ((arg->common.aml_opcode == AML_INT_NAMEPATH_OP) && | 
 | 603 | 		    !(arg->common.flags & ACPI_PARSEOP_IN_STACK)) { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | 			 */ | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 610 | 			opcode = AML_ZERO_OP;	/* Has no arguments! */ | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 611 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 612 | 			ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, | 
 | 613 | 					  "Null namepath: Arg=%p\n", arg)); | 
 | 614 | 		} else { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 615 | 			opcode = arg->common.aml_opcode; | 
 | 616 | 		} | 
 | 617 |  | 
 | 618 | 		/* Get the object type of the argument */ | 
 | 619 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 620 | 		op_info = acpi_ps_get_opcode_info(opcode); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 621 | 		if (op_info->object_type == ACPI_TYPE_INVALID) { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 622 | 			return_ACPI_STATUS(AE_NOT_IMPLEMENTED); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 623 | 		} | 
 | 624 |  | 
| Bob Moore | 4e3156b | 2008-04-10 19:06:37 +0400 | [diff] [blame] | 625 | 		if ((op_info->flags & AML_HAS_RETVAL) | 
 | 626 | 		    || (arg->common.flags & ACPI_PARSEOP_IN_STACK)) { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 627 | 			ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, | 
| Bob Moore | 50eca3e | 2005-09-30 19:03:00 -0400 | [diff] [blame] | 628 | 					  "Argument previously created, already stacked\n")); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 629 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 630 | 			ACPI_DEBUGGER_EXEC(acpi_db_display_argument_object | 
 | 631 | 					   (walk_state-> | 
 | 632 | 					    operands[walk_state->num_operands - | 
 | 633 | 						     1], walk_state)); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 634 |  | 
 | 635 | 			/* | 
 | 636 | 			 * Use value that was already previously returned | 
 | 637 | 			 * by the evaluation of this argument | 
 | 638 | 			 */ | 
| Bob Moore | 773069d | 2008-04-10 19:06:36 +0400 | [diff] [blame] | 639 | 			status = acpi_ds_result_pop(&obj_desc, walk_state); | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 640 | 			if (ACPI_FAILURE(status)) { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 641 | 				/* | 
 | 642 | 				 * Only error is underflow, and this indicates | 
 | 643 | 				 * a missing or null operand! | 
 | 644 | 				 */ | 
| Bob Moore | b8e4d89 | 2006-01-27 16:43:00 -0500 | [diff] [blame] | 645 | 				ACPI_EXCEPTION((AE_INFO, status, | 
 | 646 | 						"Missing or null operand")); | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 647 | 				return_ACPI_STATUS(status); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 648 | 			} | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 649 | 		} else { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 650 | 			/* Create an ACPI_INTERNAL_OBJECT for the argument */ | 
 | 651 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 652 | 			obj_desc = | 
 | 653 | 			    acpi_ut_create_internal_object(op_info-> | 
 | 654 | 							   object_type); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 655 | 			if (!obj_desc) { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 656 | 				return_ACPI_STATUS(AE_NO_MEMORY); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 657 | 			} | 
 | 658 |  | 
 | 659 | 			/* Initialize the new object */ | 
 | 660 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 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); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 667 | 			} | 
 | 668 | 		} | 
 | 669 |  | 
 | 670 | 		/* Put the operand object on the object stack */ | 
 | 671 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 672 | 		status = acpi_ds_obj_stack_push(obj_desc, walk_state); | 
 | 673 | 		if (ACPI_FAILURE(status)) { | 
 | 674 | 			return_ACPI_STATUS(status); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 675 | 		} | 
 | 676 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 677 | 		ACPI_DEBUGGER_EXEC(acpi_db_display_argument_object | 
 | 678 | 				   (obj_desc, walk_state)); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 679 | 	} | 
 | 680 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 681 | 	return_ACPI_STATUS(AE_OK); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 682 | } | 
 | 683 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 700 | acpi_ds_create_operands(struct acpi_walk_state *walk_state, | 
 | 701 | 			union acpi_parse_object *first_arg) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 702 | { | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 703 | 	acpi_status status = AE_OK; | 
 | 704 | 	union acpi_parse_object *arg; | 
| Bob Moore | 773069d | 2008-04-10 19:06:36 +0400 | [diff] [blame] | 705 | 	union acpi_parse_object *arguments[ACPI_OBJ_NUM_OPERANDS]; | 
| Bob Moore | b7f9f04 | 2008-04-10 19:06:40 +0400 | [diff] [blame] | 706 | 	u32 arg_count = 0; | 
 | 707 | 	u32 index = walk_state->num_operands; | 
 | 708 | 	u32 i; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 709 |  | 
| Bob Moore | b229cf9 | 2006-04-21 17:15:00 -0400 | [diff] [blame] | 710 | 	ACPI_FUNCTION_TRACE_PTR(ds_create_operands, first_arg); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 711 |  | 
| Bob Moore | 773069d | 2008-04-10 19:06:36 +0400 | [diff] [blame] | 712 | 	/* Get all arguments in the list */ | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 713 |  | 
 | 714 | 	arg = first_arg; | 
 | 715 | 	while (arg) { | 
| Bob Moore | 773069d | 2008-04-10 19:06:36 +0400 | [diff] [blame] | 716 | 		if (index >= ACPI_OBJ_NUM_OPERANDS) { | 
 | 717 | 			return_ACPI_STATUS(AE_BAD_DATA); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 718 | 		} | 
 | 719 |  | 
| Bob Moore | 773069d | 2008-04-10 19:06:36 +0400 | [diff] [blame] | 720 | 		arguments[index] = arg; | 
 | 721 | 		walk_state->operands[index] = NULL; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 722 |  | 
 | 723 | 		/* Move on to next argument, if any */ | 
 | 724 |  | 
 | 725 | 		arg = arg->common.next; | 
 | 726 | 		arg_count++; | 
| Bob Moore | 773069d | 2008-04-10 19:06:36 +0400 | [diff] [blame] | 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 |  | 
| Bob Moore | b7f9f04 | 2008-04-10 19:06:40 +0400 | [diff] [blame] | 739 | 		walk_state->operand_index = (u8) index; | 
| Bob Moore | 773069d | 2008-04-10 19:06:36 +0400 | [diff] [blame] | 740 |  | 
 | 741 | 		status = acpi_ds_create_operand(walk_state, arg, index); | 
 | 742 | 		if (ACPI_FAILURE(status)) { | 
 | 743 | 			goto cleanup; | 
 | 744 | 		} | 
 | 745 |  | 
| Bob Moore | 773069d | 2008-04-10 19:06:36 +0400 | [diff] [blame] | 746 | 		index--; | 
 | 747 |  | 
 | 748 | 		ACPI_DEBUG_PRINT((ACPI_DB_DISPATCH, | 
| Bob Moore | b27d659 | 2010-05-26 11:47:13 +0800 | [diff] [blame] | 749 | 				  "Arg #%u (%p) done, Arg1=%p\n", index, arg, | 
| Bob Moore | 773069d | 2008-04-10 19:06:36 +0400 | [diff] [blame] | 750 | 				  first_arg)); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 751 | 	} | 
 | 752 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 753 | 	return_ACPI_STATUS(status); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 754 |  | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 755 |       cleanup: | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | 	 */ | 
| Bob Moore | 773069d | 2008-04-10 19:06:36 +0400 | [diff] [blame] | 761 | 	acpi_ds_obj_stack_pop_and_delete(arg_count, walk_state); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 762 |  | 
| Bob Moore | b27d659 | 2010-05-26 11:47:13 +0800 | [diff] [blame] | 763 | 	ACPI_EXCEPTION((AE_INFO, status, "While creating Arg %u", index)); | 
| Len Brown | 4be44fc | 2005-08-05 00:44:28 -0400 | [diff] [blame] | 764 | 	return_ACPI_STATUS(status); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 765 | } | 
| Bob Moore | 4e3156b | 2008-04-10 19:06:37 +0400 | [diff] [blame] | 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 |  | 
| Bob Moore | 3371c19 | 2009-02-18 14:44:03 +0800 | [diff] [blame] | 819 | 	type = (*operand)->common.type; | 
| Bob Moore | 4e3156b | 2008-04-10 19:06:37 +0400 | [diff] [blame] | 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 | } |