Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/efi/libstub/x86-stub.c allocate_e820() -> alloc_e820ext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr_desc | 32-4294967199 |
| PARAM_VALUE | 1 | e820ext | 4499346857130975232 |
| PARAM_VALUE | 1 | *e820ext | 0 |
| PARAM_VALUE | 2 | e820ext_size | 42617355114356736 |
| PARAM_VALUE | 2 | *e820ext_size | 0 |
| DATA_SOURCE | 1 | e820ext | $1 |
| DATA_SOURCE | 2 | e820ext_size | $2 |