Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/kexec_core.c kimage_add_entry() -> kimage_alloc_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | image | 4096-ptr_max |
| PARAM_VALUE | 0 | image->arch.p4d | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | image->arch.pgd | 18446612682070032384 |
| PARAM_VALUE | 0 | image->arch.pmd | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | image->arch.pte | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | image->arch.pud | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | image->control_pages.next | 4096-ptr_max |
| PARAM_VALUE | 0 | image->control_pages.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | image->control_pages.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | image->entry | 4096-18446744073709547521 |
| PARAM_VALUE | 0 | image->last_entry | 4096-18446744073709547521 |
| PARAM_VALUE | 0 | image->nr_segments | 1-u64max |
| PARAM_VALUE | 0 | image->purgatory_info.ehdr | 6287234174676209664 |
| PARAM_VALUE | 0 | image->segment | 4096-ptr_max |
| PARAM_VALUE | 0 | image->segment_cma | 4096-ptr_max |
| PARAM_VALUE | 0 | image->type | 0 |
| PARAM_VALUE | 1 | gfp_mask | 3264 |
| PARAM_VALUE | 2 | destination | u64max |
| CAPPED_DATA | 0 | image->entry | 1 |
| CAPPED_DATA | 0 | image->last_entry | 1 |
| CAPPED_DATA | 0 | image->nr_segments | 1 |
| DATA_SOURCE | 0 | image | $0 |
| PARAM_COMPARE | 0 | image->entry | == $0->last_entry |
| NOSPEC | 0 | image->nr_segments | |
| USER_DATA | 0 | image->nr_segments | 1-16[c] |
| USER_DATA | 0 | image->start | 0-u64max |
kernel/kexec_core.c kimage_load_normal_segment() -> kimage_alloc_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | image | 4096-ptr_max |
| PARAM_VALUE | 0 | image->arch.p4d | 0,18446612682070032384 |
| PARAM_VALUE | 0 | image->arch.pgd | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | image->arch.pmd | 0,18446612682070032384 |
| PARAM_VALUE | 0 | image->arch.pte | 0,18446612682070032384 |
| PARAM_VALUE | 0 | image->arch.pud | 0,18446612682070032384 |
| PARAM_VALUE | 0 | image->control_pages.next | 4096-ptr_max |
| PARAM_VALUE | 0 | image->control_pages.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | image->control_pages.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | image->dest_pages.next | 4096-ptr_max |
| PARAM_VALUE | 0 | image->dest_pages.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | image->dest_pages.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | image->entry | 4097-ptr_max |
| PARAM_VALUE | 0 | image->last_entry | 18379471554275708920,18446612682070036472 |
| PARAM_VALUE | 0 | image->nr_segments | 1-u64max |
| PARAM_VALUE | 0 | image->segment | 4096-ptr_max |
| PARAM_VALUE | 0 | image->segment_cma | 4096-ptr_max |
| PARAM_VALUE | 0 | image->type | 0 |
| PARAM_VALUE | 0 | image->unusable_pages.next | 4096-ptr_max |
| PARAM_VALUE | 0 | image->unusable_pages.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | image->unusable_pages.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | *image->entry | 0 |
| PARAM_VALUE | 1 | gfp_mask | 1051842 |
| CAPPED_DATA | 0 | image->nr_segments | 1 |
| DATA_SOURCE | 0 | image | $0 |
| NOSPEC | 0 | image->nr_segments | |
| USER_DATA | 0 | image->nr_segments | 1-16[c] |
| USER_DATA | 0 | image->start | 0-u64max |
| UNITS | 2 | destination | unit_byte |