Lines Matching defs:alloc_base
124 unsigned long alloc_base, kernel_base;
133 status = efi_low_alloc_above(alloc_size, EFI_PAGE_SIZE, &alloc_base, 0x0);
139 if ((alloc_base % EFI_PHYS_ALIGN) > slack) {
144 kernel_base = round_up(alloc_base, EFI_PHYS_ALIGN);
146 alloc_base, kernel_base);
148 kernel_base = round_down(alloc_base, EFI_PHYS_ALIGN);
155 if (*reserve_addr > alloc_base) {
156 efi_bs_call(free_pages, alloc_base,
157 (*reserve_addr - alloc_base) / EFI_PAGE_SIZE);
158 alloc_size -= *reserve_addr - alloc_base;