Searched refs:kernel_pages (Results 1 - 1 of 1) sorted by relevance

/osnet-11/usr/src/grub/grub2/grub-core/loader/ia64/efi/
H A Dlinux.c95 static grub_efi_uintn_t kernel_pages; variable
197 grub_efi_free_pages ((grub_addr_t) kernel_mem, kernel_pages);
437 kernel_pages = page_align (high_addr - low_addr) >> 12;
441 kernel_mem = grub_efi_allocate_pages (low_addr, kernel_pages);
447 kernel_mem = allocate_pages (align, kernel_pages, low_addr);

Completed in 21 milliseconds