Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpica/dsmethod.c acpi_ds_terminate_control_method() -> acpi_ds_method_data_delete_all()

Type Parameter Key Value
PARAM_VALUE 0 walk_state 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->return_desc 0,4096-ptr_max
BUF_SIZE 0 walk_state (-1),1128
BUF_SIZE 0 walk_state (-1),1128
BUF_SIZE 0 walk_state->implicit_return_obj (-1)-s32max
BUF_SIZE 0 walk_state->method_pathname (-1),1-s32max
DATA_SOURCE 0 walk_state $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL