efi_mem_reserve(9)

πŸ“¦ version 7.3.1, in nixpkgs unstable

✨ NAME ✨

Okay bestie, welcome to efi_mem_reserve(9) from the Kernel API Manual πŸ’– β€” this one is literally all about reserving an EFI memory region. Iconic behavior, no cap.


πŸŽ€ SYNOPSIS πŸŽ€

void efi_mem_reserve (phys_addr_t addr , u64 size );

πŸ¦‹ ARGUMENTS πŸ¦‹

  • addr β€” the physical address you wanna reserve, bestie.
  • size β€” how big that reservation is. The vibes must be sized correctly, fr fr.

🌸 DESCRIPTION 🌸

So the way this works: it marks a region as reserved from general kernel allocation and prevents it from being released by efi_free_boot_services. Slay πŸ’… β€” that region is protected.

Drivers should call this function once they've parsed EFI configuration tables to figure out where their data lives β€” for example, efi_esrt_init. Like, do the parsing first, then reserve. Main character energy only ✨.


πŸ‘‘ SEE ALSO πŸ‘‘


mwah πŸ’‹ β€” this page lives under ./drivers/firmware/efi and it’s dated October 2026 🫢

πŸ“¦ where this page comes from