Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/efi/libstub/x86-stub.c setup_e820() -> add_e820ext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | params | 4096-ptr_max |
| PARAM_VALUE | 0 | params->hdr.setup_data | 1-u64max |
| PARAM_VALUE | 1 | e820ext | 0 |
| PARAM_VALUE | 2 | nr_entries | 1-4294967167 |
| DATA_SOURCE | 0 | params | $0 |
| DATA_SOURCE | 1 | e820ext | $1 |
| NOCHECK_CALL |