Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/fdt_rw.c fdt_appendprop() -> fdt_add_property_()
| 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 | 2 | name | 109394024597913600,1137528189020667904,3188876695822135296,4739074801845575680,6172574800061636608,8587928907506110464 |
| PARAM_VALUE | 3 | namelen | 0-25 |
| PARAM_VALUE | 4 | len | 8-16 |
| PARAM_VALUE | 5 | prop | 6535951198018355200 |
| PARAM_VALUE | 5 | *prop | 0 |
| BUF_SIZE | 2 | name | 14,17-18,23,26 |
| BUF_SIZE | 2 | name | 14,17-18,23,26 |
| CAPPED_DATA | 0 | fdt | 1 |
| CAPPED_DATA | 1 | nodeoffset | 1 |
| DATA_SOURCE | 0 | fdt | $0 |
| DATA_SOURCE | 1 | nodeoffset | $1 |
| DATA_SOURCE | 2 | name | $2 |
| DATA_SOURCE | 4 | len | $4 |
| STR_LEN | 0 | fdt | 13,16-17,22,25 |
| STR_LEN | 0 | fdt | 13,16-17,22,25 |
| STR_LEN | 1 | nodeoffset | 0-25 |
| TERMINATED | 2 | name | 1 |
lib/fdt_rw.c fdt_setprop_placeholder_namelen() -> fdt_add_property_()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fdt->version | 17 |
| PARAM_VALUE | 2 | name | 4096-ptr_max |
| PARAM_VALUE | 3 | namelen | 0-23 |
| PARAM_VALUE | 5 | prop | 4338299882176655360 |
| PARAM_VALUE | 5 | *prop | 0 |
| BUF_SIZE | 2 | name | 4,9-11,15,17,19,24 |
| BUF_SIZE | 2 | name | 4,9-11,15,17,19,24 |
| CAPPED_DATA | 1 | nodeoffset | 1 |
| CAPPED_DATA | 3 | namelen | 1 |
| DATA_SOURCE | 0 | fdt | $0 |
| DATA_SOURCE | 1 | nodeoffset | $1 |
| DATA_SOURCE | 2 | name | $2 |
| DATA_SOURCE | 3 | namelen | $3 |
| DATA_SOURCE | 4 | len | $4 |
| STR_LEN | 0 | fdt | 3,8-10,14,16,18,23 |
| STR_LEN | 0 | fdt | 3,8-10,14,16,18,23 |
| STR_LEN | 1 | nodeoffset | (-1)-s32max |
| STR_LEN | 2 | name | (-1)-23 |
| STR_LEN | 2 | name | (-1)-23 |
| NO_OVERFLOW_SIMPLE | 4 | len | |
| UNITS | 4 | len | unit_byte |