Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/kexec-bzimage64.c setup_boot_parameters() -> setup_kho()

Type Parameter Key Value
PARAM_VALUE 0 image 4096-ptr_max
PARAM_VALUE 0 image->kho.scratch 0,4096-ptr_max
PARAM_VALUE 1 params 4096-ptr_max
BUF_SIZE 1 params 240,256-s32max
BUF_SIZE 1 params 240,256-s32max
CAPPED_DATA 0 image->cmdline_buf 1
CAPPED_DATA 0 image->cmdline_buf_len 1
CAPPED_DATA 0 image->kernel_buf_len 1
CAPPED_DATA 0 image->purgatory_info.ehdr->e_shnum 1
CAPPED_DATA 1 &params->screen_info 1
DATA_SOURCE 0 image $0
DATA_SOURCE 1 params $1
DATA_SOURCE 2 params_load_addr $2
DATA_SOURCE 3 setup_data_offset $5 [m]
NOSPEC 0 image->cmdline_buf_len
MEM_ZERO 1 &params->apm_bios_info
NOCHECK_CALL
USER_DATA 0 image->cmdline_buf_len 1-s32max[c]
USER_DATA 0 *image->cmdline_buf 0-255
USER_DATA 1 params->efi_info.efi_memmap 0-u32max[c]
USER_DATA 1 params->efi_info.efi_memmap_hi 0-u32max[c]
USER_DATA 1 params->hdr.setup_data 0-u64max[c]
USER_DATA 3 setup_data_offset 0-u32max[c]
UNITS 2 params_load_addr unit_byte
UNITS 3 setup_data_offset unit_byte
USER_PTR 0 image->cmdline_buf