Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/fdt_rw.c fdt_add_property_() -> fdt_splice_struct_()

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
PARAM_VALUE 0 fdt->version 17
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 2 oldlen 0
CAPPED_DATA 0 fdt 1
DATA_SOURCE 0 fdt $0
DATA_SOURCE 1 p r fdt_offset_ptr_w_
STR_LEN 0 fdt 3,8-10,13-14,16-18,22-23,25
STR_LEN 0 fdt 3,8-10,13-14,16-18,22-23,25
UNITS 3 newlen unit_byte

lib/fdt_rw.c fdt_add_subnode_namelen() -> fdt_splice_struct_()

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
PARAM_VALUE 0 fdt->totalsize 0-4294967295
PARAM_VALUE 0 fdt->version 17
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 2 oldlen 0
PARAM_VALUE 3 newlen 8,12-24
CAPPED_DATA 0 fdt 1
CAPPED_DATA 3 newlen 1
DATA_SOURCE 0 fdt $0
DATA_SOURCE 1 p r fdt_offset_ptr_w_
STR_LEN 0 fdt 3,6,8,14
STR_LEN 0 fdt 3,6,8,14
UNITS 3 newlen unit_byte
HALF_LOCKED2 _T->lock

lib/fdt_rw.c fdt_appendprop() -> fdt_splice_struct_()

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
PARAM_VALUE 0 fdt->totalsize 0-4294967295
PARAM_VALUE 0 fdt->version 17
CAPPED_DATA 0 fdt 1
DATA_SOURCE 0 fdt $0
STR_LEN 0 fdt 13,16-17,22,25
STR_LEN 0 fdt 13,16-17,22,25
BIT_INFO 2 oldlen 0x0,0xfffffffffffffffc
BIT_INFO 3 newlen 0x0,0xfffffffc

lib/fdt_rw.c fdt_del_node() -> fdt_splice_struct_()

Type Parameter Key Value
PARAM_VALUE 0 fdt 18379471554275704832,18446612682070032384
PARAM_VALUE 0 fdt->totalsize 0-4294967295
PARAM_VALUE 0 fdt->version 17
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 3 newlen 0
CAPPED_DATA 0 fdt 1
CAPPED_DATA 2 oldlen 1
DATA_SOURCE 0 fdt $0
LOCK2 _T->lock

lib/fdt_rw.c fdt_delprop() -> fdt_splice_struct_()

Type Parameter Key Value
PARAM_VALUE 0 fdt->version 17
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 2 oldlen 12
PARAM_VALUE 3 newlen 0
DATA_SOURCE 0 fdt $0
DATA_SOURCE 1 p r fdt_get_property_w
STR_LEN 0 fdt 8,10,13,16-18,22,25
STR_LEN 0 fdt 8,10,13,16-18,22,25
UNITS 2 oldlen unit_byte

lib/fdt_rw.c fdt_resize_property_() -> fdt_splice_struct_()

Type Parameter Key Value
PARAM_VALUE 0 fdt->version 17
DATA_SOURCE 0 fdt $0
STR_LEN 0 fdt 3,8-10,14,16,18,23
STR_LEN 0 fdt 3,8-10,14,16,18,23
BIT_INFO 2 oldlen 0x0,0xfffffffffffffffc
BIT_INFO 3 newlen 0x0,0xfffffffffffffffc

lib/fdt_rw.c fdt_set_name() -> fdt_splice_struct_()

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
PARAM_VALUE 0 fdt->version 17
PARAM_VALUE 1 p 1-u64max
PARAM_VALUE 2 oldlen 0,4-1010104
PARAM_VALUE 3 newlen 0,4-1010104
CAPPED_DATA 3 newlen 1
DATA_SOURCE 0 fdt $0
DATA_SOURCE 1 p r fdt_get_name
BIT_INFO 2 oldlen 0x0,0xffffc
BIT_INFO 3 newlen 0x0,0xffffc