Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpica/dbxface.c acpi_db_single_step() -> acpi_db_start_command()

Type Parameter Key Value
PARAM_VALUE 0 walk_state 4096-ptr_max
PARAM_VALUE 0 walk_state->descending_callback 1-u64max
PARAM_VALUE 0 walk_state->num_operands 0
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->class 0-9
PARAM_VALUE 0 walk_state->op_info->type 0-2,4-15,17-25,27
PARAM_VALUE 0 walk_state->operand_index 0
PARAM_VALUE 0 walk_state->parser_state.scope->common.descriptor_type 3-9
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->result_obj 0
PARAM_VALUE 0 walk_state->return_desc 0
PARAM_VALUE 1 op 4096-ptr_max
PARAM_VALUE 1 op->common.aml_opcode 0-47,49-u16max
BUF_SIZE 0 walk_state->aml (-1),1-s32max
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 op $1
FUZZY_MAX 1 op->common.aml_opcode 162
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 walk_state->implicit_return_obj->string.length