sgx_encl_free_epc_page(9)

πŸ“¦ version 7.3.1, in nixpkgs unstable

πŸ’– sgx_encl_free_epc_page(9) β€” Kernel API Manual πŸ’–

✨ NAME ✨

sgx_encl_free_epc_page β€” free an EPC page assigned to an enclave 🫢

🌸 SYNOPSIS 🌸

void sgx_encl_free_epc_page (struct sgx_epc_page *page );

πŸŽ€ ARGUMENTS πŸŽ€

  • page β€” the EPC page to be freed πŸ’–

πŸ’… DESCRIPTION πŸ’…

okay so bestie, this one frees an EPC page assigned to an enclave. It does EREMOVE for the page, and only upon success does it put the page back to the free page list. Otherwise, it gives a WARNING to indicate the page is leaked β€” literally the β€œthis is not slay” warning πŸ’€.

πŸ”₯ SEE ALSO πŸ”₯


source/version + date sign-off bestie: source ./arch/x86/kernel/cpu/sgx, date October 2026, page sgx_encl_free_epc_page(9) β€” mwah πŸ’‹βœ¨

πŸ“¦ where this page comes from