Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/kexec_file.c kexec_load_purgatory() -> kexec_purgatory_setup_sechdrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pi | 4096-ptr_max |
| PARAM_VALUE | 0 | pi->ehdr | 6287234174676209664 |
| PARAM_VALUE | 0 | pi->purgatory_buf | 1-u64max |
| PARAM_VALUE | 1 | kbuf | 1257201539719790592 |
| PARAM_VALUE | 1 | kbuf->buf_align | 4096-u64max |
| PARAM_VALUE | 1 | kbuf->buf_max | u64max |
| PARAM_VALUE | 1 | kbuf->buf_min | 12288 |
| PARAM_VALUE | 1 | kbuf->buffer | 1-u64max |
| PARAM_VALUE | 1 | kbuf->cma | 0 |
| PARAM_VALUE | 1 | kbuf->image | 4096-ptr_max |
| PARAM_VALUE | 1 | kbuf->image->file_mode | 1 |
| PARAM_VALUE | 1 | kbuf->image->nr_segments | 0-16 |
| PARAM_VALUE | 1 | kbuf->memsz | 0,4096-u64max |
| PARAM_VALUE | 1 | kbuf->random | 0 |
| PARAM_VALUE | 1 | kbuf->top_down | 1 |
| PARAM_VALUE | 1 | *kbuf->image->segment_cma | 0 |
| BUF_SIZE | 0 | pi | 24 |
| CAPPED_DATA | 0 | pi->ehdr->e_shnum | 1 |
| CAPPED_DATA | 1 | kbuf->buf_align | 1 |
| DATA_SOURCE | 1 | kbuf | $1 |
| PARAM_COMPARE | 1 | &kbuf->image->control_pages | == $1->image->control_pages.next |