efi_free(9)

💖 efi_free(9) 💖

okay bestie, welcome to the Kernel API Manual ✨ this is the page for efi_free(9), and it’s literally about freeing memory pages. let’s get into it 🫶

🎀 NAME 🎀

efi_free — free memory pages 💅

🌸 SYNOPSIS 🌸

void efi_free (unsigned long size , unsigned long addr );

🦋 ARGUMENTS 🦋

• size — size of the memory area to free in bytes, bestie 📏
• addr — start of the memory area to free (must be EFI_PAGE_SIZE aligned) 📍

✨ DESCRIPTION ✨

okay so here’s the deal: size gets rounded up to a multiple of EFI_ALLOC_ALIGN, and EFI_ALLOC_ALIGN is an architecture specific multiple of EFI_PAGE_SIZE. no cap, that’s the whole rounding situation 🌀

so this function should only be used to return pages allocated with efi_allocate_pages or efi_low_alloc_above — like, pls keep it to those allocated pages, that’s the vibe 🙈

lowkey the big rule: addr must be EFI_PAGE_SIZE aligned, and this function should only be used to return pages allocated with efi_allocate_pages or efi_low_alloc_above 💖

🌈 SEE ALSO 🌈

• Kernel file ./drivers/firmware/efi/libstub/mem.c 📂
• efi_get_memory_map(9)
• efi_allocate_pages(9)
• efi_low_alloc_above(9)

that’s the whole page, bestie — efi_free(9) signing off from ./drivers/firmware/efi/libstub, October 2026 💅✨