Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/acpi/acpica/dswload2.c acpi_ds_load2_begin_op() -> acpi_ds_exec_begin_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 0 | walk_state->control_state | 4096-ptr_max |
| PARAM_VALUE | 0 | walk_state->control_state->common.state | 193 |
| PARAM_VALUE | 0 | walk_state->op | 1-u64max |
| PARAM_VALUE | 0 | walk_state->op_info | 4096-ptr_max |
| PARAM_VALUE | 0 | walk_state->op_info->class | 0-10 |
| PARAM_VALUE | 0 | 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 | 0 | walk_state->op_info->object_type | 0-4,6-14,18,20-21,27,30 |
| PARAM_VALUE | 0 | walk_state->op_info->type | 0-2,4-15,17-25,27 |
| PARAM_VALUE | 0 | walk_state->parser_state.start_op->common.descriptor_type | 13 |
| PARAM_VALUE | 1 | out_op | 0,83036527472603136 |
| PARAM_VALUE | 1 | *out_op | 4096-ptr_max |
| BUF_SIZE | 0 | walk_state->implicit_return_obj | (-1),1-s32max |
| BUF_SIZE | 0 | walk_state->method_pathname | (-1),1-s32max |
| BUF_SIZE | 0 | walk_state->op_info | (-1),576 |
| CAPPED_DATA | 0 | walk_state | 1 |
| DATA_SOURCE | 0 | walk_state | $0 |
| DATA_SOURCE | 1 | out_op | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | walk_state->implicit_return_obj->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 0 | walk_state->implicit_return_obj->method.mutex | |
| NO_OVERFLOW_SIMPLE | 0 | walk_state->implicit_return_obj->string.length | |
| NO_OVERFLOW_SIMPLE | 0 | walk_state->result_obj | |
| NO_OVERFLOW_SIMPLE | 0 | walk_state->result_obj->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 0 | walk_state->result_obj->method.mutex | |
| NO_OVERFLOW_SIMPLE | 0 | walk_state->return_desc->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 0 | walk_state->return_desc->method.mutex |
drivers/acpi/acpica/psobject.c acpi_ps_build_named_op() -> (struct acpi_walk_state)->descending_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 0 | walk_state->aml | 0-18446744073709551614 |
| PARAM_VALUE | 0 | walk_state->arg_types | 0-134217727 |
| PARAM_VALUE | 0 | walk_state->descending_callback | 1-u64max |
| PARAM_VALUE | 0 | walk_state->op | 0 |
| PARAM_VALUE | 0 | walk_state->op_info | 4096-ptr_max |
| PARAM_VALUE | 0 | 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 | 0 | walk_state->opcode | 0-90,92-255,23296-23551,u16max |
| PARAM_VALUE | 0 | walk_state->parser_state.aml_end | 1-u64max |
| PARAM_VALUE | 0 | walk_state->parser_state.scope->common.descriptor_type | 6 |
| PARAM_VALUE | 0 | walk_state->parser_state.scope->parse_scope.arg_count | 1-u32max |
| PARAM_VALUE | 0 | walk_state->parser_state.start_op->common.descriptor_type | 13 |
| PARAM_VALUE | 0 | walk_state->parser_state.start_op->common.flags | 1-2,4,8 |
| PARAM_VALUE | 0 | walk_state->scope_info->common.descriptor_type | 3-5,7-9 |
| PARAM_VALUE | 1 | out_op | 2939885868094484480 |
| PARAM_VALUE | 1 | *out_op | 0 |
| BUF_SIZE | 0 | walk_state->implicit_return_obj | (-1),1-s32max |
| BUF_SIZE | 0 | walk_state->method_pathname | (-1),1-s32max |
| BUF_SIZE | 0 | walk_state->op_info | (-1),576 |
| CAPPED_DATA | 0 | walk_state | 1 |
| CAPPED_DATA | 0 | walk_state->parser_state.aml_end | 1 |
| DATA_SOURCE | 0 | walk_state | $0 |
| DATA_SOURCE | 1 | out_op | $3 |
| CONTAINER | 0 | -1112+0 | $(-1) |
| BIT_INFO | 0 | walk_state->op_info->flags | 0x40,0xffff |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/acpi/acpica/psobject.c acpi_ps_create_op() -> (struct acpi_walk_state)->descending_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | walk_state | 4096-ptr_max |
| PARAM_VALUE | 0 | walk_state->aml | 0-18446744073709551614 |
| PARAM_VALUE | 0 | walk_state->arg_types | 0-1,3,6,8-9,12,14,16-18,40,136,265,393,398,430,434,460,462,491,524,590,641,1064,2507,5163,5579,8654,10507,13774,14529,15627,15819,230699,276942,439758,440782,473128,473544,492811,7382315,11011339,236397867,336790795-u32max |
| PARAM_VALUE | 0 | walk_state->descending_callback | 1-u64max |
| PARAM_VALUE | 0 | walk_state->op | 4096-ptr_max |
| PARAM_VALUE | 0 | walk_state->op_info | 4096-ptr_max |
| PARAM_VALUE | 0 | 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 | 0 | walk_state->opcode | 0-90,92-255,23296-23551,u16max |
| PARAM_VALUE | 0 | walk_state->parser_state.aml | 0-18446744073709551614 |
| PARAM_VALUE | 0 | walk_state->parser_state.aml_end | 1-u64max |
| PARAM_VALUE | 0 | walk_state->parser_state.scope | 4096-ptr_max |
| PARAM_VALUE | 0 | walk_state->parser_state.scope->common.descriptor_type | 3-9 |
| PARAM_VALUE | 0 | walk_state->parser_state.scope->parse_scope.arg_count | 1-u32max |
| PARAM_VALUE | 0 | walk_state->parser_state.start_op->common.descriptor_type | 13 |
| PARAM_VALUE | 0 | walk_state->parser_state.start_op->common.flags | 1-2,4,8 |
| PARAM_VALUE | 1 | out_op | 83036527472603136 |
| PARAM_VALUE | 1 | *out_op | 4096-ptr_max |
| BUF_SIZE | 0 | walk_state->implicit_return_obj | (-1),1-s32max |
| BUF_SIZE | 0 | walk_state->method_pathname | (-1),1-s32max |
| BUF_SIZE | 0 | walk_state->op_info | (-1),576 |
| CAPPED_DATA | 0 | walk_state | 1 |
| CAPPED_DATA | 0 | walk_state->parser_state.aml_end | 1 |
| DATA_SOURCE | 0 | walk_state | $0 |
| CONTAINER | 0 | -1112+0 | $(-1) |
| BIT_INFO | 0 | walk_state->op_info->flags | 0x0,0xffbf |
| RX_PATH | |||
| TASK_NOT_RUNNING |