Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/platform/efi/efi.c __efi_enter_virtual_mode() -> efi_map_regions()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | count | 8222939780170838016 |
| PARAM_VALUE | 0 | *count | 0 |
| PARAM_VALUE | 1 | pg_shift | 2420119605846990848 |
| PARAM_VALUE | 1 | *pg_shift | 0 |