Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/kexec_file.c kexec_locate_mem_hole() -> kexec_alloc_contig()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kbuf | 266958821559615488,1020490463273451520,1257201539719790592,8289861788694429696,8344572553631899648,9146580604265984000 |
| PARAM_VALUE | 0 | kbuf->buf_align | 4096-u64max |
| PARAM_VALUE | 0 | kbuf->buf_max | u64max |
| PARAM_VALUE | 0 | kbuf->buf_min | 0,12288,1048576-u64max |
| PARAM_VALUE | 0 | kbuf->cma | 0 |
| PARAM_VALUE | 0 | kbuf->image | 4096-ptr_max |
| PARAM_VALUE | 0 | kbuf->image->control_pages.next | 4096-ptr_max |
| PARAM_VALUE | 0 | kbuf->image->file_mode | 1 |
| PARAM_VALUE | 0 | kbuf->image->nr_segments | 0-15 |
| PARAM_VALUE | 0 | kbuf->mem | 0 |
| PARAM_VALUE | 0 | kbuf->memsz | 0,4096-u64max |
| BUF_SIZE | 0 | kbuf->buffer | (-1),240,256-s32max |
| CAPPED_DATA | 0 | kbuf->buf_align | 1 |
| CAPPED_DATA | 0 | kbuf->buf_min | 1 |
| CAPPED_DATA | 0 | kbuf->image->nr_segments | 1 |
| CAPPED_DATA | 0 | kbuf->memsz | 1 |
| DATA_SOURCE | 0 | kbuf | $0 |
| BIT_INFO | 0 | kbuf->memsz | 0x0,0xfffffffffffff000 |
| HARD_MAX | 0 | kbuf->image->nr_segments | 15 |
| USER_DATA | 0 | kbuf->bufsz | 240,256-10737422654[c] |
| USER_DATA | 0 | kbuf->memsz | 0,4096-10737426432[c] |