sgx_free_epc_page(9)

sgx_free_epc_page(9) 💅

okay bestie, welcome to the Kernel API Manual entry for sgx_free_epc_page — yes, we're in kernel-land and this one is short but important. ✨

🌸 NAME 🌸

sgx_free_epc_page — Free an EPC page 🫶

✨ SYNOPSIS ✨

void sgx_free_epc_page (struct sgx_epc_page *page );

🎀 ARGUMENTS 🎀

• page — an EPC page. that's the one you're handing over, bestie 💅

🦋 DESCRIPTION 🦋

okay so what this does: it puts the EPC page back onto the list of free pages. simple. iconic. 🔥

but listen: it's the caller's responsibility to make sure that the page is in an uninitialized state. that means you have to do EREMOVE, EWB, or whatever operation is necessary before calling this function. no cap. do the cleanup first, then call it. 💖

🌈 SEE ALSO 🌈

Kernel file ./arch/x86/kernel/cpu/sgx/main.c — go peek, iykyk 👀

• __sgx_alloc_epc_page(9)
• sgx_mark_page_reclaimable(9)
• sgx_unmark_page_reclaimable(9)
• sgx_alloc_epc_page(9)
• sgx_set_attribute(9)
• sgx_update_svn(9)

mwah 💋 this page lives under ./arch/x86/kernel/cpu/sgx, and it's dated October 2026 — bye bestie 🎀✨