150 uint64_t efi_add_memory_map(uint64_t start, uint64_t pages, int memory_type,  in efi_add_memory_map()  argument
159 	      start, pages, memory_type, overlap_only_ram ? "yes" : "no");  in efi_add_memory_map()
161 	if (!pages)  in efi_add_memory_map()
168 	newlist->desc.num_pages = pages;  in efi_add_memory_map()
225 	if (overlap_only_ram && (carved_pages != pages)) {  in efi_add_memory_map()
279 				unsigned long pages, uint64_t *memory)  in efi_allocate_pages()  argument
281 	u64 len = pages << EFI_PAGE_SHIFT;  in efi_allocate_pages()
316 		ret = efi_add_memory_map(addr, pages, memory_type, true);  in efi_allocate_pages()
331 	uint64_t pages = (len + EFI_PAGE_MASK) >> EFI_PAGE_SHIFT;  in efi_alloc()  local
334 	r = efi_allocate_pages(0, memory_type, pages, &ret);  in efi_alloc()
341 efi_status_t efi_free_pages(uint64_t memory, unsigned long pages)  in efi_free_pages()  argument
345 	r = efi_add_memory_map(memory, pages, EFI_CONVENTIONAL_MEMORY, false);  in efi_free_pages()
448 		u64 pages = (ram_size + EFI_PAGE_MASK) >> EFI_PAGE_SHIFT;  in efi_add_known_memory()  local
450 		efi_add_memory_map(start, pages, EFI_CONVENTIONAL_MEMORY,  in efi_add_known_memory()