Searched refs:efi_free_pages (Results 1 – 4 of 4) sorted by relevance
341 efi_status_t efi_free_pages(uint64_t memory, unsigned long pages) in efi_free_pages() function389 r = efi_free_pages((uintptr_t)alloc, alloc->num_pages); in efi_free_pool()
169 efi_free_pages((uintptr_t) efi_reloc, in efi_load_pe()
200 r = efi_free_pages(memory, pages); in efi_free_pages_ext()
175 efi_status_t efi_free_pages(uint64_t memory, unsigned long pages);