efi_mem_reserve_persistent 1686 drivers/irqchip/irq-gic-v3-its.c 		return efi_mem_reserve_persistent(addr, size);
efi_mem_reserve_persistent 1085 include/linux/efi.h extern int efi_mem_reserve_persistent(phys_addr_t addr, u64 size);