Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpica/dswexec.c acpi_ds_exec_begin_op() -> acpi_ds_exec_begin_control_op()

Type Parameter Key Value
PARAM_VALUE 0 walk_state 4096-ptr_max
PARAM_VALUE 0 walk_state->control_state 0,4096-ptr_max
PARAM_VALUE 0 walk_state->op 1-u64max
PARAM_VALUE 0 walk_state->op_info 4096-ptr_max
PARAM_VALUE 0 walk_state->parser_state.start_op->common.descriptor_type 13
PARAM_VALUE 1 op 4096-ptr_max
PARAM_VALUE 1 op->common.aml_opcode 0-44,46-u16max
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
PARAM_COMPARE 1 op != $0->origin
PARAM_COMPARE 1 op != $0->origin
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