Symbol: efi_arch_mem_reserve
drivers/firmware/efi/efi.c
612
efi_arch_mem_reserve(addr, size);
include/linux/efi.h
1293
void __init efi_arch_mem_reserve(phys_addr_t addr, u64 size);