Lines Matching refs:EFI_PAGE_SHIFT
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()
123 >> EFI_PAGE_SHIFT; in efi_mem_carve_out()
126 return (carve_end - carve_start) >> EFI_PAGE_SHIFT; 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()
250 uint64_t desc_len = desc->num_pages << EFI_PAGE_SHIFT; in efi_find_free_memory()
281 u64 len = pages << EFI_PAGE_SHIFT; in efi_allocate_pages()
331 uint64_t pages = (len + EFI_PAGE_MASK) >> EFI_PAGE_SHIFT; in efi_alloc()
359 u64 num_pages = (size + sizeof(u64) + EFI_PAGE_MASK) >> EFI_PAGE_SHIFT; in efi_allocate_pool()
448 u64 pages = (ram_size + EFI_PAGE_MASK) >> EFI_PAGE_SHIFT; in efi_add_known_memory()
465 uboot_pages = (gd->ram_top - uboot_start) >> EFI_PAGE_SHIFT; in efi_memory_init()
472 runtime_pages = (runtime_end - runtime_start) >> EFI_PAGE_SHIFT; in efi_memory_init()
481 (64 * 1024 * 1024) >> EFI_PAGE_SHIFT, in efi_memory_init()