Lines Matching defs:alloc_base
88 unsigned long alloc_base, kernel_base;
97 status = efi_low_alloc_above(alloc_size, EFI_PAGE_SIZE, &alloc_base, 0x0);
103 if ((alloc_base % EFI_PHYS_ALIGN) > slack) {
108 kernel_base = round_up(alloc_base, EFI_PHYS_ALIGN);
110 alloc_base, kernel_base);
112 kernel_base = round_down(alloc_base, EFI_PHYS_ALIGN);
119 if (*reserve_addr > alloc_base) {
120 efi_bs_call(free_pages, alloc_base,
121 (*reserve_addr - alloc_base) / EFI_PAGE_SIZE);
122 alloc_size -= *reserve_addr - alloc_base;