Defined in 2 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/kexec_file.c locate_mem_hole_bottom_up() -> kexec_random_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | kbuf | 266958821559615488,1020490463273451520,1257201539719790592,8289861788694429696,8344572553631899648,9146580604265984000 |
| PARAM_VALUE | 2 | kbuf->buf_max | u64max |
| PARAM_VALUE | 2 | kbuf->buf_min | 0,12288,1048576-u64max |
| PARAM_VALUE | 2 | kbuf->top_down | 0 |
| PARAM_VALUE | 3 | temp_start | 1661275184900861952 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 2 | kbuf->buf_min | 1 |
| CAPPED_DATA | 2 | kbuf->memsz | 1 |
| DATA_SOURCE | 1 | end | $1 |
| DATA_SOURCE | 2 | kbuf | $2 |
| NOCHECK_CALL | |||
| UNITS | 0 | start | unit_byte |
| UNITS | 1 | end | unit_byte |
kernel/kexec_file.c locate_mem_hole_top_down() -> kexec_random_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | kbuf | 266958821559615488,1020490463273451520,1257201539719790592,8289861788694429696,8344572553631899648,9146580604265984000 |
| PARAM_VALUE | 2 | kbuf->buf_max | u64max |
| PARAM_VALUE | 2 | kbuf->buf_min | 0,12288,1048576-u64max |
| PARAM_VALUE | 2 | kbuf->top_down | 1 |
| PARAM_VALUE | 3 | temp_start | 1154769489162940416 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 0 | start | 1 |
| CAPPED_DATA | 1 | end | 1 |
| CAPPED_DATA | 1 | end | 1 |
| CAPPED_DATA | 2 | kbuf->buf_min | 1 |
| CAPPED_DATA | 2 | kbuf->memsz | 1 |
| DATA_SOURCE | 2 | kbuf | $2 |
| NOCHECK_CALL | |||
| UNITS | 0 | start | unit_byte |
| UNITS | 1 | end | unit_byte |