efi_mem_reserve_iomem 1015 drivers/firmware/efi/efi.c 			return efi_mem_reserve_iomem(addr, size);
efi_mem_reserve_iomem 1025 drivers/firmware/efi/efi.c 	rc = efi_mem_reserve_iomem(__pa(rsv), SZ_4K);
efi_mem_reserve_iomem 1047 drivers/firmware/efi/efi.c 	return efi_mem_reserve_iomem(addr, size);