Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/efi/libstub/x86-stub.c exit_boot() -> setup_e820()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | params | 4096-ptr_max |
| PARAM_VALUE | 0 | params->alt_mem_k | 32768 |
| PARAM_VALUE | 0 | params->hdr.setup_data | 1-u64max |
| PARAM_VALUE | 0 | params->secure_boot | 1-255 |
| PARAM_VALUE | 0 | *params->edid_info->dummy | 0 |
| PARAM_VALUE | 1 | e820ext | 0 |
| PARAM_VALUE | 2 | e820ext_size | 0,656-u32max |
| DATA_SOURCE | 0 | params | $0 |