Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

arch/x86/kernel/machine_kexec_64.c alloc_pgt_page() -> kimage_alloc_control_pages()

Type Parameter Key Value
PARAM_VALUE 1 order 0
DATA_SOURCE 0 image $0
RX_PATH
TASK_NOT_RUNNING

kernel/crash_core.c kimage_crash_copy_vmcoreinfo() -> kimage_alloc_control_pages()

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_page 4096
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->type 1
PARAM_VALUE 1 order 0
CAPPED_DATA 0 image->nr_segments 1
DATA_SOURCE 0 image $0
DATA_SOURCE 1 order r get_order
NOSPEC 0 image->nr_segments
USER_DATA 0 image->nr_segments 1-16[c]
USER_DATA 0 image->start 0-u64max

kernel/kexec_file.c kimage_file_alloc_init() -> kimage_alloc_control_pages()

Type Parameter Key Value
PARAM_VALUE 0 image 4096-ptr_max
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.prev 4096-ptr_max
PARAM_VALUE 0 image->control_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 image->control_pages.prev->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.prev 4096-ptr_max
PARAM_VALUE 0 image->dest_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 image->dest_pages.prev->prev 4096-ptr_max
PARAM_VALUE 0 image->elfcorehdr_index (-1)
PARAM_VALUE 0 image->elfcorehdr_updated 0
PARAM_VALUE 0 image->entry 4096-ptr_max
PARAM_VALUE 0 image->file_mode 1
PARAM_VALUE 0 image->fops->cleanup 8067600598966484992
PARAM_VALUE 0 image->fops->load 2007869256418107392
PARAM_VALUE 0 image->fops->probe 8529642297517760512
PARAM_VALUE 0 image->fops->verify_sig 1345924272597557248
PARAM_VALUE 0 image->hp_action 0
PARAM_VALUE 0 image->last_entry 4096-ptr_max
PARAM_VALUE 0 image->nr_segments 0-s32max
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.prev 4096-ptr_max
PARAM_VALUE 0 image->unusable_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 image->unusable_pages.prev->prev 4096-ptr_max
PARAM_VALUE 1 order 0
BUF_SIZE 0 image 1008
CAPPED_DATA 0 image->nr_segments 1
DATA_SOURCE 0 image r do_kimage_alloc_init

kernel/kexec_file.c kimage_file_alloc_init() -> kimage_alloc_control_pages()

Type Parameter Key Value
PARAM_VALUE 0 image 4096-ptr_max
PARAM_VALUE 0 image->control_code_page 1-u64max
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->control_pages.prev 4096-ptr_max
PARAM_VALUE 0 image->control_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 image->control_pages.prev->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.prev 4096-ptr_max
PARAM_VALUE 0 image->dest_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 image->dest_pages.prev->prev 4096-ptr_max
PARAM_VALUE 0 image->elfcorehdr_index (-1)
PARAM_VALUE 0 image->elfcorehdr_updated 0
PARAM_VALUE 0 image->entry 4096-ptr_max
PARAM_VALUE 0 image->file_mode 1
PARAM_VALUE 0 image->fops->cleanup 8067600598966484992
PARAM_VALUE 0 image->fops->load 2007869256418107392
PARAM_VALUE 0 image->fops->probe 8529642297517760512
PARAM_VALUE 0 image->fops->verify_sig 1345924272597557248
PARAM_VALUE 0 image->hp_action 0
PARAM_VALUE 0 image->last_entry 4096-ptr_max
PARAM_VALUE 0 image->nr_segments 0-s32max
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.prev 4096-ptr_max
PARAM_VALUE 0 image->unusable_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 image->unusable_pages.prev->prev 4096-ptr_max
PARAM_VALUE 1 order 0
BUF_SIZE 0 image 1008
CAPPED_DATA 0 image->nr_segments 1
DATA_SOURCE 0 image r do_kimage_alloc_init

kernel/kexec.c kimage_alloc_init() -> kimage_alloc_control_pages()

Type Parameter Key Value
PARAM_VALUE 0 image 4096-ptr_max
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.prev 4096-ptr_max
PARAM_VALUE 0 image->control_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 image->control_pages.prev->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.prev 4096-ptr_max
PARAM_VALUE 0 image->dest_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 image->dest_pages.prev->prev 4096-ptr_max
PARAM_VALUE 0 image->elfcorehdr_index (-1)
PARAM_VALUE 0 image->elfcorehdr_updated 0
PARAM_VALUE 0 image->entry 4096-ptr_max
PARAM_VALUE 0 image->hp_action 0
PARAM_VALUE 0 image->last_entry 4096-ptr_max
PARAM_VALUE 0 image->nr_segments 1-16
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.prev 4096-ptr_max
PARAM_VALUE 0 image->unusable_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 image->unusable_pages.prev->prev 4096-ptr_max
PARAM_VALUE 1 order 0
BUF_SIZE 0 image 1008
CAPPED_DATA 0 image->nr_segments 1
DATA_SOURCE 0 image r do_kimage_alloc_init
USER_DATA 0 image->nr_segments 1-16[c]
USER_DATA 0 image->start 0-u64max

kernel/kexec.c kimage_alloc_init() -> kimage_alloc_control_pages()

Type Parameter Key Value
PARAM_VALUE 0 image 4096-ptr_max
PARAM_VALUE 0 image->control_code_page 1-u64max
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->control_pages.prev 4096-ptr_max
PARAM_VALUE 0 image->control_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 image->control_pages.prev->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.prev 4096-ptr_max
PARAM_VALUE 0 image->dest_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 image->dest_pages.prev->prev 4096-ptr_max
PARAM_VALUE 0 image->elfcorehdr_index (-1)
PARAM_VALUE 0 image->elfcorehdr_updated 0
PARAM_VALUE 0 image->entry 4096-ptr_max
PARAM_VALUE 0 image->hp_action 0
PARAM_VALUE 0 image->last_entry 4096-ptr_max
PARAM_VALUE 0 image->nr_segments 1-16
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.prev 4096-ptr_max
PARAM_VALUE 0 image->unusable_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 image->unusable_pages.prev->prev 4096-ptr_max
PARAM_VALUE 1 order 0
BUF_SIZE 0 image 1008
CAPPED_DATA 0 image->nr_segments 1
DATA_SOURCE 0 image r do_kimage_alloc_init
USER_DATA 0 image->nr_segments 1-16[c]
USER_DATA 0 image->start 0-u64max