efi_map_region     61 arch/x86/platform/efi/efi_32.c void __init efi_map_region(efi_memory_desc_t *md)
efi_map_region    430 arch/x86/platform/efi/efi_64.c void __init efi_map_region(efi_memory_desc_t *md)