sgx_encl_page_alloc
encl_page = sgx_encl_page_alloc(encl, addr - encl->base, secinfo_flags);
struct sgx_encl_page *sgx_encl_page_alloc(struct sgx_encl *encl,
encl_page = sgx_encl_page_alloc(encl, offset, secinfo->flags);