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_efi_state()

Type Parameter Key Value
PARAM_VALUE 0 params 4096-ptr_max
BUF_SIZE 0 params 240,256-s32max
BUF_SIZE 0 params 240,256-s32max
CAPPED_DATA 0 &params->screen_info 1
CAPPED_DATA 2 efi_map_offset 1
DATA_SOURCE 0 params $1
DATA_SOURCE 1 params_load_addr $2
DATA_SOURCE 2 efi_map_offset $3
DATA_SOURCE 3 efi_map_sz $4
DATA_SOURCE 4 efi_setup_data_offset $5
BIT_INFO 2 efi_map_offset 0x0,0xfffffff0
BIT_INFO 3 efi_map_sz 0x0,0x7fffffff
MEM_ZERO 0 &params->apm_bios_info
NOCHECK_CALL
USER_DATA 2 efi_map_offset 0,4128-2147487808[c]
USER_DATA 4 efi_setup_data_offset 0,16-u32max[c]
UNITS 1 params_load_addr unit_byte
UNITS 2 efi_map_offset unit_byte
UNITS 4 efi_setup_data_offset unit_byte