253 		uint64_t ret = curmax - len;  in efi_find_free_memory()  local
260 		if ((ret + len) > max_addr)  in efi_find_free_memory()
264 		if ((ret + len) > desc_end)  in efi_find_free_memory()
268 		if (ret < desc->physical_start)  in efi_find_free_memory()
272 		return ret;  in efi_find_free_memory()
313 		uint64_t ret;  in efi_allocate_pages()  local
316 		ret = efi_add_memory_map(addr, pages, memory_type, true);  in efi_allocate_pages()
317 		if (ret == addr) {  in efi_allocate_pages()
330 	uint64_t ret = 0;  in efi_alloc()  local
334 	r = efi_allocate_pages(0, memory_type, pages, &ret);  in efi_alloc()
336 		return (void*)(uintptr_t)ret;  in efi_alloc()