45 	u64 num_pages;  member
97 	uint64_t map_end = map_start + (map_desc->num_pages << EFI_PAGE_SHIFT);  in efi_mem_carve_out()
100 			     (carve_desc->num_pages << EFI_PAGE_SHIFT);  in efi_mem_carve_out()
122 			map->desc.num_pages = (map_end - carve_end)  in efi_mem_carve_out()
140 	newmap->desc.num_pages = (map_end - carve_start) >> EFI_PAGE_SHIFT;  in efi_mem_carve_out()
145 	map_desc->num_pages = (carve_start - map_start) >> EFI_PAGE_SHIFT;  in efi_mem_carve_out()
168 	newlist->desc.num_pages = pages;  in efi_add_memory_map()
250 		uint64_t desc_len = desc->num_pages << EFI_PAGE_SHIFT;  in efi_find_free_memory()
359 	u64 num_pages = (size + sizeof(u64) + EFI_PAGE_MASK) >> EFI_PAGE_SHIFT;  in efi_allocate_pool()  local
366 	r = efi_allocate_pages(0, pool_type, num_pages, &t);  in efi_allocate_pool()
370 		alloc->num_pages = num_pages;  in efi_allocate_pool()
389 	r = efi_free_pages((uintptr_t)alloc, alloc->num_pages);  in efi_free_pool()