Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/net/thunderbolt/main.c tbnet_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 3884305481594314752
PARAM_VALUE 2 value 1
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 7
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 6
TERMINATED 1 key 1
NOCHECK_CALL

drivers/net/thunderbolt/main.c tbnet_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 5537598006457921536
PARAM_VALUE 2 value 1
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1
NOCHECK_CALL

drivers/net/thunderbolt/main.c tbnet_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 3739407304697683968
PARAM_VALUE 2 value 1
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1
NOCHECK_CALL

drivers/net/thunderbolt/main.c tbnet_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 6538280752461312000
PARAM_VALUE 2 value 6-7
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
FUZZY_MAX 2 value 6
STR_LEN 0 parent 8
BIT_INFO 2 value 0x6,0x7
TERMINATED 1 key 1
NOCHECK_CALL

drivers/thunderbolt/xdomain.c tb_xdomain_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 1 key 8045921761163403264
PARAM_VALUE 2 value 7531
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1
NOCHECK_CALL

drivers/thunderbolt/xdomain.c tb_xdomain_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 1 key 1362328619268251648
PARAM_VALUE 2 value 4
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1
NOCHECK_CALL

drivers/thunderbolt/xdomain.c tb_xdomain_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 1 key 1150283970752774144
PARAM_VALUE 2 value 2147483904
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1
NOCHECK_CALL

drivers/thunderbolt/xdomain.c update_property_block() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 1 key 7342748039336742912
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_copy_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1
NOCHECK_CALL
LOCK2 &xd->lock
LOCK2 global &xdomain_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct tb_xdomain)->lock

drivers/thunderbolt/stream.c service_update_properties() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 2123976699603492864
PARAM_VALUE 2 value 8-s32max
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 8
DATA_SOURCE 0 parent r tb_property_create_dir
DATA_SOURCE 2 value $2
STR_LEN 0 parent 7
TERMINATED 1 key 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem

drivers/thunderbolt/stream.c service_update_properties() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 539466465110573056
PARAM_VALUE 2 value 8-s32max
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
DATA_SOURCE 2 value $3
STR_LEN 0 parent 8
TERMINATED 1 key 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 value
UNITS 2 value unit_array_size
LOCK2 _T->lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem

drivers/thunderbolt/stream.c tbstream_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 3884305481594314752
PARAM_VALUE 2 value 1
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 7
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 6
TERMINATED 1 key 1
NOCHECK_CALL

drivers/thunderbolt/stream.c tbstream_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 5537598006457921536
PARAM_VALUE 2 value 1
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1
NOCHECK_CALL

drivers/thunderbolt/stream.c tbstream_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 3739407304697683968
PARAM_VALUE 2 value 0
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1
NOCHECK_CALL

drivers/thunderbolt/stream.c tbstream_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 6538280752461312000
PARAM_VALUE 2 value 0
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1
NOCHECK_CALL

drivers/thunderbolt/test.c tb_test_property_merge() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 3884305481594314752
PARAM_VALUE 2 value 1
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 7
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 6
TERMINATED 1 key 1

drivers/thunderbolt/test.c tb_test_property_merge() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 5537598006457921536
PARAM_VALUE 2 value 1
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1

drivers/thunderbolt/test.c tb_test_property_merge() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 3739407304697683968
PARAM_VALUE 2 value 0
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1

drivers/thunderbolt/test.c tb_test_property_merge() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 6538280752461312000
PARAM_VALUE 2 value 0
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1

drivers/thunderbolt/test.c tb_test_property_merge() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 5537598006457921536
PARAM_VALUE 2 value 4660
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1

drivers/thunderbolt/test.c tb_test_property_merge() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 1264045951142436864
PARAM_VALUE 2 value 0
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 7
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 6
TERMINATED 1 key 1

drivers/thunderbolt/dma_test.c dma_test_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 3884305481594314752
PARAM_VALUE 2 value 1
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 7
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 6
TERMINATED 1 key 1
NOCHECK_CALL

drivers/thunderbolt/dma_test.c dma_test_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 5537598006457921536
PARAM_VALUE 2 value 1
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1
NOCHECK_CALL

drivers/thunderbolt/dma_test.c dma_test_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 3739407304697683968
PARAM_VALUE 2 value 0
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1
NOCHECK_CALL

drivers/thunderbolt/dma_test.c dma_test_init() -> tb_property_add_immediate()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->properties.next 4096-ptr_max
PARAM_VALUE 0 parent->properties.next->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->next 4096-ptr_max
PARAM_VALUE 0 parent->properties.prev->prev 4096-ptr_max
PARAM_VALUE 0 parent->uuid 1-u64max
PARAM_VALUE 1 key 6538280752461312000
PARAM_VALUE 2 value 0
BUF_SIZE 0 parent 24
BUF_SIZE 1 key 9
DATA_SOURCE 0 parent r tb_property_create_dir
STR_LEN 0 parent 8
TERMINATED 1 key 1
NOCHECK_CALL