Searched refs:efi_free_pages (Results 1 – 4 of 4) sorted by relevance
359 efi_status_t efi_free_pages(uint64_t memory, efi_uintn_t pages) in efi_free_pages() function422 r = efi_free_pages((uintptr_t)alloc, alloc->num_pages); in efi_free_pool()
304 efi_free_pages((uintptr_t) efi_reloc, in efi_load_pe()
331 r = efi_free_pages(memory, pages); in efi_free_pages_ext()
304 efi_status_t efi_free_pages(uint64_t memory, efi_uintn_t pages);