On Mon, 2021-12-06 at 13:13 -0800, Reinette Chatre wrote:
__eadd():
/* Copy a source page from non-enclave memory into the EPC. */
Perhaps:
/*
* Associate an EPC page to an enclave either as a REG or TCS page
* populated with the provided data.
*/
This is more aligned with your description for __eremove().
__eremove():
/* Disassociate EPC page from its enclave and mark it as unused. */