sgx_alloc_epc_page
epc_page = sgx_alloc_epc_page(NULL, reclaim);
epc_page = sgx_alloc_epc_page(encl_page, false);
epc_page = sgx_alloc_epc_page(encl_page, false);
epc_page = sgx_alloc_epc_page(encl_page, true);
secs_epc = sgx_alloc_epc_page(&encl->secs, true);
struct sgx_epc_page *sgx_alloc_epc_page(void *owner, bool reclaim);
epc_page = sgx_alloc_epc_page(vepc, false);