Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kernel/kexec-bzimage64.c setup_boot_parameters() -> setup_dtb()
| 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 | ¶ms->screen_info | 1 |
| DATA_SOURCE | 0 | params | $1 |
| DATA_SOURCE | 1 | params_load_addr | $2 |
| DATA_SOURCE | 2 | dtb_setup_data_offset | $5 [m] |
| 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 | 0 | params->hdr.setup_data | 0-u64max[c] |
| USER_DATA | 2 | dtb_setup_data_offset | 0-u32max[c] |
| UNITS | 1 | params_load_addr | unit_byte |
| UNITS | 2 | dtb_setup_data_offset | unit_byte |