Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpica/nsprepkg.c acpi_ns_check_package() -> acpi_ns_remove_null_elements()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->full_pathname 4096-ptr_max
PARAM_VALUE 0 info->node 4096-ptr_max
PARAM_VALUE 0 info->node->name.ascii 4096-ptr_max
PARAM_VALUE 0 info->obj_desc 0,4096-ptr_max
PARAM_VALUE 0 info->param_count 0-7
PARAM_VALUE 0 info->parameters 0,4096-ptr_max
PARAM_VALUE 0 info->parent_package 4096-ptr_max
PARAM_VALUE 0 info->predefined 1390678270449016832
PARAM_VALUE 0 info->predefined->info.expected_btypes 1-62,64-255
PARAM_VALUE 0 info->return_btype 1-2,4,8,16,32
PARAM_VALUE 0 *info->return_object->buffer_field.buffer_obj->reference.node->name.ascii 0-255
PARAM_VALUE 0 *info->return_object->field.region_obj->reference.node->name.ascii 0-255
PARAM_VALUE 2 obj_desc 4096-ptr_max
BUF_SIZE 0 info->full_pathname 1-s32max
BUF_SIZE 0 info->parameters (-1),8-64
BUF_SIZE 0 info->predefined (-1),2728
BUF_SIZE 0 info->prefix_node s32min-(-1),1-s32max
BUF_SIZE 0 info->relative_pathname (-1),5
CAPPED_DATA 0 info->node 1
CAPPED_DATA 0 info->param_count 1
DATA_SOURCE 0 info $0
FUZZY_MAX 0 info->param_count 7
STR_LEN 0 info->prefix_node (-1),4
STR_LEN 0 info->relative_pathname (-1),4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL