Searched refs:FreePages (Results 1 – 6 of 6) sorted by relevance
339 efi_bs->FreePages(dtbfile.addr, PFN_UP(dtbfile.size)); in fdt_increase_size()549 efi_bs->FreePages(dtbfile.addr, PFN_UP(dtbfile.size)); in efi_arch_blexit()
334 efi_bs->FreePages(cfg.addr, PFN_UP(cfg.size)); in blexit()336 efi_bs->FreePages(kernel.addr, PFN_UP(kernel.size)); in blexit()338 efi_bs->FreePages(ramdisk.addr, PFN_UP(ramdisk.size)); in blexit()340 efi_bs->FreePages(xsm.addr, PFN_UP(xsm.size)); in blexit()1287 efi_bs->FreePages(cfg.addr, PFN_UP(cfg.size)); in efi_start()1363 efi_bs->FreePages(cfg.addr, PFN_UP(cfg.size)); in efi_start()
781 EFI_FREE_PAGES FreePages; member
692 efi_bs->FreePages(ucode.addr, PFN_UP(ucode.size)); in efi_arch_blexit()
990 FreePages uint64 member
3335 x.FreePages = uint64(xc.free_pages)3365 xc.free_pages = C.uint64_t(x.FreePages)
Completed in 25 milliseconds