Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/of/of_reserved_mem.c __reserved_mem_alloc_size() -> __reserved_mem_alloc_in_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | size | 0-u32max |
| PARAM_VALUE | 1 | align | 0-u32max |
| PARAM_VALUE | 2 | start | 0-u32max |
| PARAM_VALUE | 3 | end | 0-8589934590 |
| PARAM_VALUE | 5 | res_base | 8645036961943830528 |
| PARAM_VALUE | 5 | *res_base | 0 |
| CAPPED_DATA | 2 | start | 1 |
| CAPPED_DATA | 2 | start | 1 |
| CAPPED_DATA | 3 | end | 1 |
| CAPPED_DATA | 3 | end | 1 |
| DATA_SOURCE | 0 | size | r dt_mem_next_cell |
| FUZZY_MAX | 1 | align | 0 |