Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/fdt_rw.c fdt_add_mem_rsv() -> fdt_splice_mem_rsv_()

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
PARAM_VALUE 0 fdt->size_dt_strings 0-4294967295
PARAM_VALUE 0 fdt->size_dt_struct 0-4294967295
PARAM_VALUE 0 fdt->totalsize 0-4294967295
PARAM_VALUE 0 fdt->version 17
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 2 oldn 0
PARAM_VALUE 3 newn 1
CAPPED_DATA 0 fdt 1
DATA_SOURCE 0 fdt $0
DATA_SOURCE 1 p r fdt_mem_rsv_w_

lib/fdt_rw.c fdt_del_mem_rsv() -> fdt_splice_mem_rsv_()

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 oldn 1
PARAM_VALUE 3 newn 0
CAPPED_DATA 0 fdt 1
DATA_SOURCE 0 fdt $0
DATA_SOURCE 1 p r fdt_mem_rsv_w_