Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/firmware/efi/libstub/efi-stub-helper.c, line 438
- drivers/firmware/efi/libstub/kaslr.c, line 65
- drivers/firmware/efi/libstub/mem.c, line 151
- drivers/firmware/efi/libstub/randomalloc.c, line 71
- drivers/firmware/efi/libstub/x86-stub.c, line 711
Smatch caller information:
drivers/firmware/efi/libstub/efi-stub-helper.c efi_exit_boot_services() -> efi_get_memory_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4917829312181047296 |
| PARAM_VALUE | 1 | install_cfg_tbl | 1 |
drivers/firmware/efi/libstub/x86-stub.c allocate_e820() -> efi_get_memory_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 6849284434504626176 |
| PARAM_VALUE | 0 | *map | 0 |
| PARAM_VALUE | 1 | install_cfg_tbl | 0 |
drivers/firmware/efi/libstub/mem.c efi_low_alloc_above() -> efi_get_memory_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 585923671553093632 |
| PARAM_VALUE | 0 | *map | 0 |
| PARAM_VALUE | 1 | install_cfg_tbl | 0 |
drivers/firmware/efi/libstub/randomalloc.c efi_random_alloc() -> efi_get_memory_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 5662743863858290688 |
| PARAM_VALUE | 0 | *map | 0 |
| PARAM_VALUE | 1 | install_cfg_tbl | 0 |