Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/of/kexec.c kho_add_chosen() -> fdt_appendprop_addrrange()

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 parent 0
PARAM_VALUE 2 nodeoffset 0-s32max
PARAM_VALUE 3 name 1137528189020667904
PARAM_VALUE 4 addr 1-u64max
PARAM_VALUE 5 size 4096
BUF_SIZE 3 name 14
CAPPED_DATA 0 fdt 1
DATA_SOURCE 0 fdt $1
DATA_SOURCE 2 nodeoffset $2
STR_LEN 0 fdt 13
TERMINATED 3 name 1
UNITS 5 size unit_byte

drivers/of/kexec.c kho_add_chosen() -> fdt_appendprop_addrrange()

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
PARAM_VALUE 0 fdt->off_dt_strings 0-4294967295
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 parent 0
PARAM_VALUE 2 nodeoffset 0-s32max
PARAM_VALUE 3 name 4739074801845575680
BUF_SIZE 3 name 18
CAPPED_DATA 0 fdt 1
DATA_SOURCE 0 fdt $1
DATA_SOURCE 2 nodeoffset $2
STR_LEN 0 fdt 17
TERMINATED 3 name 1
UNITS 4 addr unit_byte
UNITS 5 size unit_byte

drivers/of/kexec.c of_kexec_alloc_and_setup_fdt() -> fdt_appendprop_addrrange()

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 parent 0
PARAM_VALUE 2 nodeoffset 0-s32max
PARAM_VALUE 3 name 8587928907506110464
BUF_SIZE 0 fdt 0-u64max
BUF_SIZE 3 name 17
CAPPED_DATA 0 fdt 1
DATA_SOURCE 0 fdt r __kvmalloc_node_noprof
STR_LEN 0 fdt 16
TERMINATED 3 name 1
UNITS 4 addr unit_byte
UNITS 5 size unit_byte

drivers/of/kexec.c of_kexec_alloc_and_setup_fdt() -> fdt_appendprop_addrrange()

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
PARAM_VALUE 0 fdt->off_dt_strings 0-4294967295
PARAM_VALUE 0 fdt->off_dt_struct 0-4294967295
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 parent 0
PARAM_VALUE 2 nodeoffset 0-s32max
PARAM_VALUE 3 name 109394024597913600
PARAM_VALUE 4 addr 1-u64max
BUF_SIZE 0 fdt 0-u64max
BUF_SIZE 3 name 18
CAPPED_DATA 0 fdt 1
DATA_SOURCE 0 fdt r __kvmalloc_node_noprof
STR_LEN 0 fdt 17
TERMINATED 3 name 1
UNITS 4 addr unit_byte
UNITS 5 size unit_byte

drivers/of/kexec.c of_kexec_alloc_and_setup_fdt() -> fdt_appendprop_addrrange()

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
PARAM_VALUE 0 fdt->off_dt_strings 0-4294967295
PARAM_VALUE 0 fdt->off_dt_struct 0-4294967295
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 parent 0
PARAM_VALUE 2 nodeoffset 0-s32max
PARAM_VALUE 3 name 3188876695822135296
BUF_SIZE 0 fdt 0-u64max
BUF_SIZE 3 name 26
CAPPED_DATA 0 fdt 1
DATA_SOURCE 0 fdt r __kvmalloc_node_noprof
STR_LEN 0 fdt 25
TERMINATED 3 name 1

drivers/of/kexec.c of_kexec_alloc_and_setup_fdt() -> fdt_appendprop_addrrange()

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
PARAM_VALUE 0 fdt->off_dt_strings 0-4294967295
PARAM_VALUE 0 fdt->off_dt_struct 0-4294967295
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 parent 0
PARAM_VALUE 2 nodeoffset 0-s32max
PARAM_VALUE 3 name 3188876695822135296
BUF_SIZE 0 fdt 0-u64max
BUF_SIZE 3 name 26
CAPPED_DATA 0 fdt 1
DATA_SOURCE 0 fdt r __kvmalloc_node_noprof
STR_LEN 0 fdt 25
TERMINATED 3 name 1

drivers/of/kexec.c of_kexec_alloc_and_setup_fdt() -> fdt_appendprop_addrrange()

Type Parameter Key Value
PARAM_VALUE 0 fdt 4096-ptr_max
PARAM_VALUE 0 fdt->off_dt_strings 0-4294967295
PARAM_VALUE 0 fdt->off_dt_struct 0-4294967295
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 parent 0
PARAM_VALUE 2 nodeoffset 0-s32max
PARAM_VALUE 3 name 3188876695822135296
BUF_SIZE 0 fdt 0-u64max
BUF_SIZE 3 name 26
CAPPED_DATA 0 fdt 1
DATA_SOURCE 0 fdt r __kvmalloc_node_noprof
STR_LEN 0 fdt 25
TERMINATED 3 name 1

drivers/of/kexec.c setup_ima_buffer() -> fdt_appendprop_addrrange()

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 1 parent 0
PARAM_VALUE 2 nodeoffset s32min-0
PARAM_VALUE 3 name 6172574800061636608
PARAM_VALUE 5 size 1-u64max
BUF_SIZE 3 name 23
CAPPED_DATA 0 fdt 1
CAPPED_DATA 2 nodeoffset 1
DATA_SOURCE 0 fdt $1
DATA_SOURCE 2 nodeoffset $2
STR_LEN 0 fdt 22
TERMINATED 3 name 1
UNITS 4 addr unit_byte
UNITS 5 size unit_byte