sgx_encl_page
struct sgx_encl_page *page)
struct sgx_encl_page *sgx_encl_page_alloc(struct sgx_encl *encl,
struct sgx_encl_page *encl_page;
static int __sgx_encl_eldu(struct sgx_encl_page *encl_page,
static struct sgx_epc_page *sgx_encl_eldu(struct sgx_encl_page *encl_page,
static struct sgx_encl_page *__sgx_encl_load_page(struct sgx_encl *encl,
struct sgx_encl_page *entry)
static struct sgx_encl_page *sgx_encl_load_page_in_vma(struct sgx_encl *encl,
struct sgx_encl_page *entry;
struct sgx_encl_page *sgx_encl_load_page(struct sgx_encl *encl,
struct sgx_encl_page *entry;
struct sgx_encl_page *encl_page;
struct sgx_encl_page *entry;
struct sgx_encl_page *page;
static int sgx_encl_debug_read(struct sgx_encl *encl, struct sgx_encl_page *page,
static int sgx_encl_debug_write(struct sgx_encl *encl, struct sgx_encl_page *page,
static struct sgx_encl_page *sgx_encl_reserve_page(struct sgx_encl *encl,
struct sgx_encl_page *entry;
struct sgx_encl_page *entry = NULL;
struct sgx_encl_page *entry;
struct sgx_encl_page *entry;
struct sgx_encl_page *page);
struct sgx_encl_page *sgx_encl_page_alloc(struct sgx_encl *encl,
struct sgx_encl_page *sgx_encl_load_page(struct sgx_encl *encl,
struct sgx_encl_page secs;
struct sgx_encl_page *entry;
struct sgx_encl_page *encl_page,
struct sgx_encl_page *encl_page;
struct sgx_encl_page *entry;
struct sgx_encl_page *entry;
struct sgx_encl_page *page = epc_page->owner;
struct sgx_encl_page *page = epc_page->owner;
struct sgx_encl_page *encl_page = epc_page->owner;
struct sgx_encl_page *encl_page = epc_page->owner;
struct sgx_encl_page *encl_page;
struct sgx_encl_page *owner;