Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/platform/efi/quirks.c efi_arch_mem_reserve() -> efi_memmap_insert()

Type Parameter Key Value
PARAM_VALUE 0 old_memmap 6607965146314850520
PARAM_VALUE 1 buf 18446744073694871552-18446744073696710655
PARAM_VALUE 2 mem 3423612790620135424
PARAM_VALUE 2 mem->attribute 0,18446744071562067968-u64max
PARAM_VALUE 2 mem->range.start 0,4096-u64max
DATA_SOURCE 1 buf r early_memremap_prot
NOCHECK_CALL
HALF_LOCKED2 irq