Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/kexec_core.c kimage_load_segment() -> kimage_load_crash_segment()

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->nr_segments 1-u64max
PARAM_VALUE 0 image->type 1
PARAM_VALUE 1 idx 0-s32max
CAPPED_DATA 0 image->nr_segments 1
CAPPED_DATA 1 idx 1
DATA_SOURCE 0 image $0
DATA_SOURCE 1 idx $1
NOSPEC 0 image->nr_segments
USER_DATA 0 image->nr_segments 1-16[c]
USER_DATA 0 image->start 0-u64max
UNITS 1 idx unit_array_size