Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/platform/efi/quirks.c efi_unmap_boot_services() -> efi_unmap_pages()

Type Parameter Key Value
PARAM_VALUE 0 md 4096-ptr_max
PARAM_VALUE 0 md->type 3-4
BIT_INFO 0 md->attribute 0x0,0x7fffffffffffffff
NOCHECK_CALL
UNITS 0 md unit_byte