Searched refs:efi_free_loadaddr (Results 1 – 4 of 4) sorted by relevance
62 void efi_free_loadaddr(vm_offset_t, size_t);
206 efi_free_loadaddr(vm_offset_t addr, size_t pages) in efi_free_loadaddr() function
701 archsw.arch_free_loadaddr = efi_free_loadaddr; in main()
1345 efi_free_loadaddr((vm_offset_t)mbi, EFI_SIZE_TO_PAGES(size)); in multiboot2_exec()