Searched refs:FreePages (Results 1 – 5 of 5) sorted by relevance
336 efi_bs->FreePages(dtbfile.addr, PFN_UP(dtbfile.size)); in fdt_increase_size()546 efi_bs->FreePages(dtbfile.addr, PFN_UP(dtbfile.size)); in efi_arch_blexit()
328 efi_bs->FreePages(cfg.addr, PFN_UP(cfg.size)); in blexit()330 efi_bs->FreePages(kernel.addr, PFN_UP(kernel.size)); in blexit()332 efi_bs->FreePages(ramdisk.addr, PFN_UP(ramdisk.size)); in blexit()334 efi_bs->FreePages(xsm.addr, PFN_UP(xsm.size)); in blexit()1206 efi_bs->FreePages(cfg.addr, PFN_UP(cfg.size)); in efi_start()1269 efi_bs->FreePages(cfg.addr, PFN_UP(cfg.size)); in efi_start()
171 FreePages uint64 member191 physinfo.FreePages = uint64(cphys.free_pages)
781 EFI_FREE_PAGES FreePages; member
650 efi_bs->FreePages(ucode.addr, PFN_UP(ucode.size)); in efi_arch_blexit()
Completed in 28 milliseconds