Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/of/fdt.c early_init_dt_check_for_usable_mem_range() -> of_flat_dt_read_addr_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prop | 1-u64max |
| PARAM_VALUE | 1 | entry_index | 0-5 |
| PARAM_VALUE | 2 | addr | 189491120467001344 |
| PARAM_VALUE | 3 | size | 6719619930980188160 |
| CAPPED_DATA | 1 | entry_index | 1 |
| DATA_SOURCE | 0 | prop | r of_flat_dt_get_addr_size_prop |
| NOCHECK_CALL |
drivers/of/fdt.c early_init_dt_scan_memory() -> of_flat_dt_read_addr_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prop | 1-u64max |
| PARAM_VALUE | 1 | entry_index | 0-s32max |
| PARAM_VALUE | 2 | addr | 3548219472966647808 |
| PARAM_VALUE | 3 | size | 9222730018435219456 |
| CAPPED_DATA | 1 | entry_index | 1 |
| NOCHECK_CALL |
drivers/of/fdt.c of_flat_dt_get_addr_size() -> of_flat_dt_read_addr_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prop | 1-u64max |
| PARAM_VALUE | 1 | entry_index | 0 |
| PARAM_VALUE | 2 | addr | 741730624912379904,1402714871652786176,2735454544585678848 |
| PARAM_VALUE | 3 | size | 66071531533144064,3976614306944569344,7713615439798013952 |
| DATA_SOURCE | 0 | prop | r of_flat_dt_get_addr_size_prop |
| DATA_SOURCE | 2 | addr | $2 |
| DATA_SOURCE | 3 | size | $3 |
| NOCHECK_CALL |
drivers/of/of_reserved_mem.c __reserved_mem_alloc_size() -> of_flat_dt_read_addr_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prop | 1-u64max |
| PARAM_VALUE | 1 | entry_index | 0-s32max |
| PARAM_VALUE | 2 | addr | 5253118425158594560 |
| PARAM_VALUE | 3 | size | 7571232469975703552 |
| CAPPED_DATA | 1 | entry_index | 1 |
| DATA_SOURCE | 0 | prop | r of_flat_dt_get_addr_size_prop |
| NOCHECK_CALL |
drivers/of/of_reserved_mem.c __reserved_mem_reserve_reg() -> of_flat_dt_read_addr_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prop | 1-u64max |
| PARAM_VALUE | 1 | entry_index | 0 |
| PARAM_VALUE | 2 | addr | 4971567797697597440 |
| PARAM_VALUE | 3 | size | 6882269766158077952 |
| DATA_SOURCE | 0 | prop | r of_flat_dt_get_addr_size_prop |
| NOCHECK_CALL |
drivers/of/of_reserved_mem.c fdt_scan_reserved_mem_late() -> of_flat_dt_read_addr_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prop | 1-u64max |
| PARAM_VALUE | 1 | entry_index | 0 |
| PARAM_VALUE | 2 | addr | 1152818918769467392 |
| PARAM_VALUE | 3 | size | 2536570538674679808 |
| DATA_SOURCE | 0 | prop | r of_flat_dt_get_addr_size_prop |
| NOCHECK_CALL | |||
| LOCK2 | irq |