Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/fdt_sw.c fdt_property_placeholder() -> fdt_del_last_string_()

Type Parameter Key Value
PARAM_VALUE 0 fdt 18379471554275704832,18446612682070032384
PARAM_VALUE 0 fdt->size_dt_strings 0-4294967295
PARAM_VALUE 1 s 1603646577221337088,1905860594595217408,2448912641491230720,4525827905242320896,5433328364907216896,6520547876353785856,8233018453138296832,8617657459760386048
BUF_SIZE 1 s 5-6,10-12,21
BUF_SIZE 1 s 5-6,10-12,21
DATA_SOURCE 0 fdt $0
DATA_SOURCE 1 s $1
STR_LEN 0 fdt 4-5,9-11,20
STR_LEN 0 fdt 4-5,9-11,20
STR_LEN 1 s (-1),6,11,14
STR_LEN 1 s (-1),6,11,14
TERMINATED 1 s 1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
PARAM_VALUE 0 fdt->size_dt_strings 0-4294967295
PARAM_VALUE 0 fdt->version 17
PARAM_VALUE 1 s 4096-ptr_max
BUF_SIZE 1 s 4,9-11,14-15,17-19,23-24,26
BUF_SIZE 1 s 4,9-11,14-15,17-19,23-24,26
CAPPED_DATA 0 fdt 1
DATA_SOURCE 0 fdt $0
DATA_SOURCE 1 s $2
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
STR_LEN 1 s (-1)-23
STR_LEN 1 s (-1)-23
NOCHECK_CALL