Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/acpi/property.c acpi_extract_properties() -> acpi_data_add_props()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->properties.next 4096-ptr_max
PARAM_VALUE 0 data->properties.prev 4096-ptr_max
PARAM_VALUE 0 data->subnodes.next 4096-ptr_max
PARAM_VALUE 0 data->subnodes.prev 4096-ptr_max
PARAM_VALUE 2 properties 4096-ptr_max
PARAM_VALUE 2 properties->package.count 0-s32max
PARAM_VALUE 2 properties->type 4
CAPPED_DATA 2 properties->package.count 1
DATA_SOURCE 0 data $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/x86/apple.c acpi_extract_apple_properties() -> acpi_data_add_props()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->pointer 4096-ptr_max
PARAM_VALUE 0 data->properties.next 4096-ptr_max
PARAM_VALUE 0 data->properties.prev 4096-ptr_max
PARAM_VALUE 0 data->subnodes.next 4096-ptr_max
PARAM_VALUE 0 data->subnodes.prev 4096-ptr_max
PARAM_VALUE 1 guid 1990399862858391552
PARAM_VALUE 2 properties 4096-ptr_max
PARAM_VALUE 2 properties->package.count 1-u32max
PARAM_VALUE 2 properties->package.elements 4096-ptr_max
PARAM_VALUE 2 properties->type 4
BUF_SIZE 2 properties 0-u32max
BUF_SIZE 2 properties 0-u32max
CAPPED_DATA 2 properties->package.count 1
DATA_SOURCE 2 properties r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL