efi_map_region 128 arch/x86/include/asm/efi.h extern void __init efi_map_region(efi_memory_desc_t *md); efi_map_region 828 arch/x86/platform/efi/efi.c efi_map_region(md);