Defined in 2 files as a prototype:

Defined in 2 files as a macro:

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/kexec_file.c kexec_post_load() -> machine_kexec_post_load()

Type Parameter Key Value
BUF_SIZE 0 image 0
CAPPED_DATA 0 image->nr_segments 1
CAPPED_DATA 0 image->purgatory_info.ehdr->e_shnum 1
DATA_SOURCE 0 image $0
BIT_INFO 0 image 0x0,0x0

kernel/kexec.c do_kexec_load() -> machine_kexec_post_load()

Type Parameter Key Value
PARAM_VALUE 0 image 4096-ptr_max
CAPPED_DATA 0 image->nr_segments 1
NOSPEC 0 image->nr_segments
USER_DATA 0 image->nr_segments 1-16[c]
USER_DATA 0 image->start s64min-s64max