Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kernel/kexec-bzimage64.c setup_efi_state() -> prepare_add_efi_setup_data()
| 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 |
| DATA_SOURCE | 0 | params | $0 |
| DATA_SOURCE | 1 | params_load_addr | $1 |
| DATA_SOURCE | 2 | efi_setup_data_offset | $4 |
| MEM_ZERO | 0 | ¶ms->apm_bios_info | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | params->efi_info.efi_memmap | 0-u32max[c] |
| USER_DATA | 0 | params->efi_info.efi_memmap_hi | 0-u32max[c] |
| USER_DATA | 2 | efi_setup_data_offset | 0,16-u32max[c] |
| UNITS | 1 | params_load_addr | unit_byte |
| UNITS | 2 | efi_setup_data_offset | unit_byte |