Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/intel/vsec.c intel_vsec_walk_dvsec() -> intel_vsec_register_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_data 4096-ptr_max
PARAM_VALUE 1 header 4487492989640839168
PARAM_VALUE 1 header->entry_size 0
PARAM_VALUE 1 header->id 0
PARAM_VALUE 1 header->length 0
PARAM_VALUE 1 header->num_entries 0
PARAM_VALUE 1 header->offset 0
PARAM_VALUE 1 header->tbir 0
PARAM_VALUE 2 info 4096-ptr_max
DATA_SOURCE 2 info $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 header->entry_size 0
HOST_DATA 1 header->id 0
HOST_DATA 1 header->length 0[c]
HOST_DATA 1 header->num_entries 0
HOST_DATA 1 header->offset 0
HOST_DATA 1 header->tbir 0
UNITS 2 info unit_array_size
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/platform/x86/intel/vsec.c intel_vsec_walk_header() -> intel_vsec_register_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PARAM_VALUE 1 header 1-u64max
PARAM_VALUE 2 info 4096-ptr_max
PARAM_VALUE 2 info->caps 0,2,6,10,98,114
PARAM_VALUE 2 info->deps 0,2986518763783065600
PARAM_VALUE 2 info->headers 0,4096-ptr_max
PARAM_VALUE 2 info->num_deps 0-1
PARAM_VALUE 2 info->priv_data 0,5225213006805680128
PARAM_VALUE 2 info->quirks 0,20,24
PARAM_VALUE 2 info->src 0-1
BUF_SIZE 2 info (-1),160
BUF_SIZE 2 info (-1),160
BUF_SIZE 2 info->priv_data (-1),8
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 info $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 header->offset 0-4294967288
HOST_DATA 2 info->base_addr 8-u64max
HOST_DATA 3 base_addr 8-u64max
UNITS 0 dev unit_byte
UNITS 2 info unit_array_size

drivers/platform/x86/intel/vsec.c intel_vsec_walk_vsec() -> intel_vsec_register_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_data 4096-ptr_max
PARAM_VALUE 1 header 5407801998750355456
PARAM_VALUE 1 header->entry_size 0
PARAM_VALUE 1 header->id 0
PARAM_VALUE 1 header->length 0
PARAM_VALUE 1 header->num_entries 0
PARAM_VALUE 1 header->offset 0
PARAM_VALUE 1 header->tbir 0
PARAM_VALUE 2 info 4096-ptr_max
DATA_SOURCE 2 info $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 header->entry_size 0
HOST_DATA 1 header->id 0
HOST_DATA 1 header->length 0[c]
HOST_DATA 1 header->num_entries 0
HOST_DATA 1 header->offset 0
HOST_DATA 1 header->tbir 0
UNITS 2 info unit_array_size
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock