Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thunderbolt/property.c __tb_property_format_dir() -> __tb_property_format_dir()

Type Parameter Key Value
PARAM_VALUE 1 block 4096-ptr_max
BUF_SIZE 1 block (-1),4,212
BUF_SIZE 1 block (-1),4,212
CAPPED_DATA 2 start_offset 1
DATA_SOURCE 1 block $1
DATA_SOURCE 3 block_len $3
NO_OVERFLOW_SIMPLE 3 block_len
UNITS 2 start_offset unit_array_size
UNITS 3 block_len unit_array_size

drivers/thunderbolt/property.c tb_property_format_dir() -> __tb_property_format_dir()

Type Parameter Key Value
PARAM_VALUE 0 dir 4096-ptr_max
PARAM_VALUE 1 block 16,4096-ptr_max
PARAM_VALUE 2 start_offset 0
PARAM_VALUE 3 block_len 0-s32max
BUF_SIZE 0 dir 24
BUF_SIZE 1 block 4,212
BUF_SIZE 1 block 4,212
DATA_SOURCE 0 dir $0
DATA_SOURCE 1 block $1
DATA_SOURCE 3 block_len $2
NO_OVERFLOW_SIMPLE 3 block_len
UNITS 3 block_len unit_array_size
ELEM_COUNT 1 ==block3 8051
HALF_LOCKED2 &xd->lock
HALF_LOCKED2 global &xdomain_lock