96 	uint64_t map_start = map_desc->physical_start;  in efi_mem_carve_out()
97 	uint64_t map_end = map_start + (map_desc->num_pages << EFI_PAGE_SHIFT);  in efi_mem_carve_out()
98 	uint64_t carve_start = carve_desc->physical_start;  in efi_mem_carve_out()
99 	uint64_t carve_end = carve_start +  in efi_mem_carve_out()
150 uint64_t efi_add_memory_map(uint64_t start, uint64_t pages, int memory_type,  in efi_add_memory_map()
156 	uint64_t carved_pages = 0;  in efi_add_memory_map()
242 static uint64_t efi_find_free_memory(uint64_t len, uint64_t max_addr)  in efi_find_free_memory()
250 		uint64_t desc_len = desc->num_pages << EFI_PAGE_SHIFT;  in efi_find_free_memory()
251 		uint64_t desc_end = desc->physical_start + desc_len;  in efi_find_free_memory()
252 		uint64_t curmax = min(max_addr, desc_end);  in efi_find_free_memory()
253 		uint64_t ret = curmax - len;  in efi_find_free_memory()
279 				unsigned long pages, uint64_t *memory)  in efi_allocate_pages()
283 	uint64_t addr;  in efi_allocate_pages()
313 		uint64_t ret;  in efi_allocate_pages()
328 void *efi_alloc(uint64_t len, int memory_type)  in efi_alloc()
330 	uint64_t ret = 0;  in efi_alloc()
331 	uint64_t pages = (len + EFI_PAGE_MASK) >> EFI_PAGE_SHIFT;  in efi_alloc()
341 efi_status_t efi_free_pages(uint64_t memory, unsigned long pages)  in efi_free_pages()
343 	uint64_t r = 0;  in efi_free_pages()
478 	uint64_t efi_bounce_buffer_addr = 0xffffffff;  in efi_memory_init()