Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
- drivers/acpi/acpica/dbmethod.c, line 315
- drivers/acpi/acpica/dswexec.c, line 284
- drivers/acpi/acpica/dswload.c, line 328
- drivers/acpi/acpica/dswload2.c
- drivers/acpi/acpica/dswstate.c
- drivers/acpi/acpica/nsaccess.c, line 730
- drivers/acpi/acpica/nsparse.c, line 215
- drivers/acpi/acpica/psxface.c, line 284
Smatch caller information:
drivers/acpi/acpica/dswload.c acpi_ds_load1_begin_op() -> acpi_ds_scope_stack_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 4096-ptr_max |
| PARAM_VALUE | 0 | node->flags | 0-65527 |
| PARAM_VALUE | 0 | node->type | 0-4,6-14,18,20-21,27 |
| PARAM_VALUE | 1 | type | 0-4,6-14,18,20-21,27 |
| PARAM_VALUE | 2 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->aml | 0-18446744073709551614 |
| PARAM_VALUE | 2 | walk_state->arg_types | 0-134217727,236397867,336790795-u32max |
| PARAM_VALUE | 2 | walk_state->deferred_node | 0 |
| PARAM_VALUE | 2 | walk_state->descending_callback | 1-u64max |
| PARAM_VALUE | 2 | walk_state->method_node | 0 |
| PARAM_VALUE | 2 | walk_state->op | 0,4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->op->common.node | 0 |
| PARAM_VALUE | 2 | walk_state->op_info | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->op_info->flags | 64-u16max |
| PARAM_VALUE | 2 | walk_state->op_info->object_type | 0-4,6-14,18,20-21,27 |
| PARAM_VALUE | 2 | walk_state->opcode | 0-15,17-90,92-255,23296-23551,u16max |
| PARAM_VALUE | 2 | walk_state->parser_state.aml_end | 1-u64max |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->common.descriptor_type | 3-9 |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->parse_scope.arg_count | 1-u32max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.descriptor_type | 13 |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.flags | 1-2,4,8 |
| PARAM_VALUE | 2 | walk_state->scope_info | 0,4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->scope_info->scope.node->common.descriptor_type | 15 |
| BUF_SIZE | 2 | walk_state->implicit_return_obj | (-1),1-s32max |
| BUF_SIZE | 2 | walk_state->method_pathname | (-1),1-s32max |
| BUF_SIZE | 2 | walk_state->op_info | (-1),576 |
| CAPPED_DATA | 0 | node->type | 1 |
| CAPPED_DATA | 1 | type | 1 |
| CAPPED_DATA | 2 | walk_state | 1 |
| CAPPED_DATA | 2 | walk_state->parser_state.aml_end | 1 |
| DATA_SOURCE | 2 | walk_state | $0 |
| BIT_INFO | 0 | node->flags | 0x0,0xfff7 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/acpi/acpica/nsaccess.c acpi_ns_lookup() -> acpi_ds_scope_stack_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node->child->type | 0-255 |
| PARAM_VALUE | 0 | node->type | 0-255 |
| PARAM_VALUE | 1 | type | 0-29 |
| PARAM_VALUE | 2 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->op_info->class | 0-10 |
| PARAM_VALUE | 2 | walk_state->op_info->flags | 0,64-u16max |
| PARAM_VALUE | 2 | walk_state->op_info->object_type | 0-4,6-14,18,20-21,27,30 |
| PARAM_VALUE | 2 | walk_state->op_info->type | 0-2,4-15,17-25,27 |
| BUF_SIZE | 2 | walk_state->aml | (-1),1-s32max |
| BUF_SIZE | 2 | walk_state->implicit_return_obj | (-1),1-s32max |
| BUF_SIZE | 2 | walk_state->method_pathname | (-1),1-s32max |
| BUF_SIZE | 2 | walk_state->op_info | (-1),576 |
| CAPPED_DATA | 2 | walk_state | 1 |
| DATA_SOURCE | 1 | type | $2 [m] |
| DATA_SOURCE | 2 | walk_state | $5 |
| FUZZY_MAX | 0 | node->type | 21 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 2 | walk_state->implicit_return_obj->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->implicit_return_obj->method.mutex | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->implicit_return_obj->string.length | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->result_obj | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->result_obj->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->result_obj->method.mutex | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->return_desc->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->return_desc->method.mutex |
drivers/acpi/acpica/dswexec.c acpi_ds_exec_begin_op() -> acpi_ds_scope_stack_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->control_state | 0,4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->op | 1-u64max |
| PARAM_VALUE | 2 | walk_state->op_info | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.descriptor_type | 13 |
| PARAM_VALUE | 2 | walk_state->walk_type | 1-255 |
| BUF_SIZE | 2 | walk_state->implicit_return_obj | (-1),1-s32max |
| BUF_SIZE | 2 | walk_state->method_pathname | (-1),1-s32max |
| BUF_SIZE | 2 | walk_state->op_info | (-1),576 |
| CAPPED_DATA | 2 | walk_state | 1 |
| DATA_SOURCE | 2 | walk_state | $0 |
| BIT_INFO | 2 | walk_state->walk_type | 0x1,0xff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 2 | walk_state->implicit_return_obj->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->implicit_return_obj->method.mutex | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->implicit_return_obj->string.length | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->result_obj | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->result_obj->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->result_obj->method.mutex | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->return_desc->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->return_desc->method.mutex |
drivers/acpi/acpica/nsparse.c acpi_ns_one_complete_parse() -> acpi_ds_scope_stack_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 1-u64max |
| PARAM_VALUE | 1 | type | 8 |
| PARAM_VALUE | 2 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->ascending_callback | 0,412815718507728896,2524239724902907904,6311776263094394880 |
| PARAM_VALUE | 2 | walk_state->caller_return_desc | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->descending_callback | 0,4951254553731448832,5469036079436304384,7557358196781326336 |
| PARAM_VALUE | 2 | walk_state->method_node | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->next_op | 0 |
| PARAM_VALUE | 2 | walk_state->parser_state.scope | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->common.descriptor_type | 6 |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->parse_scope.arg_count | u32max |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->parse_scope.op | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_node | 0,4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.descriptor_type | 13 |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.flags | 1-2,4,8 |
| PARAM_VALUE | 2 | walk_state->scope_info | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->scope_info->common.descriptor_type | 3-5,7-9 |
| PARAM_VALUE | 2 | walk_state->walk_type | 1 |
| BUF_SIZE | 2 | walk_state | 1128 |
| DATA_SOURCE | 0 | node | $2 |
| DATA_SOURCE | 2 | walk_state | r acpi_ds_create_walk_state |
drivers/acpi/acpica/dswstate.c acpi_ds_init_aml_walk() -> acpi_ds_scope_stack_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 4096-ptr_max |
| PARAM_VALUE | 0 | node->object | 0,4096-ptr_max |
| PARAM_VALUE | 1 | type | 8 |
| PARAM_VALUE | 2 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->method_desc | 0,4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->method_node | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->method_node->object | 0,4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->next_op | 0 |
| PARAM_VALUE | 2 | walk_state->op_info->class | 0-10 |
| PARAM_VALUE | 2 | walk_state->op_info->flags | 0,640,960,4096,4128,4736,4776,4792,4880,4912,4992,5056,5088,5120,7168,8192,12288,12320,13312-13314,15360,15364,17408,21504 |
| PARAM_VALUE | 2 | walk_state->op_info->object_type | 0-4,6-14,18,20-21,27,30 |
| PARAM_VALUE | 2 | walk_state->parser_state.scope | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->common.descriptor_type | 6 |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->parse_scope.arg_count | u32max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_node | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op | 0,4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.descriptor_type | 13 |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.flags | 1-2,4,8 |
| PARAM_VALUE | 2 | walk_state->pass_number | 0,3 |
| PARAM_VALUE | 2 | walk_state->walk_type | 1 |
| BUF_SIZE | 2 | walk_state | 1128 |
| BUF_SIZE | 2 | walk_state->caller_return_desc | (-1),8 |
| BUF_SIZE | 2 | walk_state->params | (-1),8-64,72 |
| BUF_SIZE | 2 | walk_state->parser_state.pkg_end | (-1),1-s32max |
| CAPPED_DATA | 0 | node | 1 |
| DATA_SOURCE | 0 | node | $2 |
| DATA_SOURCE | 2 | walk_state | $0 |
| HARD_MAX | 2 | walk_state->pass_number | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/acpi/acpica/dswstate.c acpi_ds_init_aml_walk() -> acpi_ds_scope_stack_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->next_op | 0 |
| PARAM_VALUE | 2 | walk_state->op_info->class | 0-10 |
| PARAM_VALUE | 2 | walk_state->op_info->flags | 0,640,960,4096,4128,4736,4776,4792,4880,4912,4992,5056,5088,5120,7168,8192,12288,12320,13312-13314,15360,15364,17408,21504 |
| PARAM_VALUE | 2 | walk_state->op_info->object_type | 0-4,6-14,18,20-21,27,30 |
| PARAM_VALUE | 2 | walk_state->parser_state.scope | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->common.descriptor_type | 6 |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->parse_scope.arg_count | u32max |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->parse_scope.op | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_node | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.descriptor_type | 13 |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.flags | 1-2,4,8 |
| BUF_SIZE | 2 | walk_state | 1128 |
| BUF_SIZE | 2 | walk_state->parser_state.pkg_end | (-1),1-s32max |
| DATA_SOURCE | 2 | walk_state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/acpi/acpica/psxface.c acpi_ps_execute_table() -> acpi_ds_scope_stack_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 4096-ptr_max |
| PARAM_VALUE | 0 | node->object | 0,4096-ptr_max |
| PARAM_VALUE | 1 | type | 8 |
| PARAM_VALUE | 2 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->ascending_callback | 0,412815718507728896,2524239724902907904,6311776263094394880 |
| PARAM_VALUE | 2 | walk_state->caller_return_desc | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->descending_callback | 0,4951254553731448832,5469036079436304384,7557358196781326336 |
| PARAM_VALUE | 2 | walk_state->method_is_nested | 0 |
| PARAM_VALUE | 2 | walk_state->method_node | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->method_pathname | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->next_op | 0 |
| PARAM_VALUE | 2 | walk_state->parser_state.scope | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->common.descriptor_type | 6 |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->parse_scope.arg_count | u32max |
| PARAM_VALUE | 2 | walk_state->parser_state.scope->parse_scope.op | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_node | 0,4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.descriptor_type | 13 |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.flags | 1-2,4,8 |
| PARAM_VALUE | 2 | walk_state->pass_number | 3 |
| PARAM_VALUE | 2 | walk_state->scope_info | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->scope_info->common.descriptor_type | 3-5,7-9 |
| PARAM_VALUE | 2 | walk_state->walk_type | 1 |
| BUF_SIZE | 2 | walk_state | 1128 |
| BUF_SIZE | 2 | walk_state->method_pathname | 1-s32max |
| CAPPED_DATA | 0 | node | 1 |
| DATA_SOURCE | 2 | walk_state | r acpi_ds_create_walk_state |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/acpi/acpica/dswload2.c acpi_ds_load2_begin_op() -> acpi_ds_scope_stack_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 0,2100165663990964224 |
| PARAM_VALUE | 1 | type | 0-4,6-14,18,20-21,27,30 |
| PARAM_VALUE | 2 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->control_state | 0,4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->control_state->common.state | 0-192,194-u16max |
| PARAM_VALUE | 2 | walk_state->op | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->op->named.node | 0,2100165663990964224 |
| PARAM_VALUE | 2 | walk_state->op_info | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->op_info->class | 0-10 |
| PARAM_VALUE | 2 | walk_state->op_info->flags | 640,960,4096,4128,4736,4776,4792,4880,4912,4992,5056,5088,5120,7168,8192,12288,12320,13312-13314,15360,15364,17408,21504 |
| PARAM_VALUE | 2 | walk_state->op_info->object_type | 0-4,6-14,18,20-21,27,30 |
| PARAM_VALUE | 2 | walk_state->op_info->type | 0-2,4-15,17-25,27 |
| PARAM_VALUE | 2 | walk_state->opcode | 16 |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.descriptor_type | 13 |
| BUF_SIZE | 2 | walk_state->implicit_return_obj | (-1),1-s32max |
| BUF_SIZE | 2 | walk_state->method_pathname | (-1),1-s32max |
| BUF_SIZE | 2 | walk_state->op_info | (-1),576 |
| CAPPED_DATA | 2 | walk_state | 1 |
| DATA_SOURCE | 2 | walk_state | $0 |
| BIT_INFO | 2 | walk_state->op_info->flags | 0x40,0x7fff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 2 | walk_state->implicit_return_obj->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->implicit_return_obj->method.mutex | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->implicit_return_obj->string.length | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->result_obj | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->result_obj->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->result_obj->method.mutex | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->return_desc->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->return_desc->method.mutex |
drivers/acpi/acpica/dswload2.c acpi_ds_load2_begin_op() -> acpi_ds_scope_stack_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 1-u64max |
| PARAM_VALUE | 1 | type | 0-4,6-14,18,20-21,27 |
| PARAM_VALUE | 2 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->control_state | 0,4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->control_state->common.state | 0-192,194-u16max |
| PARAM_VALUE | 2 | walk_state->op | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->op->common.node | 1-u64max |
| PARAM_VALUE | 2 | walk_state->op_info | 4096-ptr_max |
| PARAM_VALUE | 2 | walk_state->op_info->class | 0-10 |
| PARAM_VALUE | 2 | walk_state->op_info->flags | 640,960,4096,4128,4736,4776,4792,4880,4912,4992,5056,5088,5120,7168,8192,12288,12320,13312-13314,15360,15364,17408,21504 |
| PARAM_VALUE | 2 | walk_state->op_info->object_type | 0-4,6-14,18,20-21,27,30 |
| PARAM_VALUE | 2 | walk_state->op_info->type | 0-2,4-15,17-25,27 |
| PARAM_VALUE | 2 | walk_state->opcode | 0-15,17-44,46-23424,23426-23429,23432-u16max |
| PARAM_VALUE | 2 | walk_state->parser_state.start_op->common.descriptor_type | 13 |
| BUF_SIZE | 2 | walk_state->implicit_return_obj | (-1),1-s32max |
| BUF_SIZE | 2 | walk_state->method_pathname | (-1),1-s32max |
| BUF_SIZE | 2 | walk_state->op_info | (-1),576 |
| CAPPED_DATA | 2 | walk_state | 1 |
| DATA_SOURCE | 2 | walk_state | $0 |
| BIT_INFO | 2 | walk_state->op_info->flags | 0x40,0x7fff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 2 | walk_state->implicit_return_obj->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->implicit_return_obj->method.mutex | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->implicit_return_obj->string.length | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->result_obj | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->result_obj->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->result_obj->method.mutex | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->return_desc->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 2 | walk_state->return_desc->method.mutex |