Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpica/dsutils.c acpi_ds_create_operands() -> acpi_ds_obj_stack_pop_and_delete()

Type Parameter Key Value
PARAM_VALUE 1 walk_state 4096-ptr_max
PARAM_VALUE 1 walk_state->descending_callback 1-u64max
PARAM_VALUE 1 walk_state->op 4096-ptr_max
PARAM_VALUE 1 walk_state->op_info 4096-ptr_max
PARAM_VALUE 1 walk_state->op_info->class 0-10
PARAM_VALUE 1 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 1 walk_state->op_info->object_type 0-4,6-14,18,20-21,27,30
PARAM_VALUE 1 walk_state->op_info->type 0-2,4-15,17-25,27
PARAM_VALUE 1 walk_state->operands 4096-ptr_max
PARAM_VALUE 1 walk_state->parser_state.scope->common.descriptor_type 3-9
PARAM_VALUE 1 walk_state->parser_state.start_op->common.descriptor_type 13
PARAM_VALUE 1 walk_state->parser_state.start_op->common.flags 1-2,4,8
BUF_SIZE 1 walk_state->aml (-1),1-s32max
BUF_SIZE 1 walk_state->implicit_return_obj (-1),1-s32max
BUF_SIZE 1 walk_state->method_pathname (-1),1-s32max
BUF_SIZE 1 walk_state->op_info (-1),576
CAPPED_DATA 1 walk_state 1
CAPPED_DATA 1 walk_state->num_operands 1
DATA_SOURCE 1 walk_state $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 walk_state->implicit_return_obj->string.length