sgx_va_page
unsigned int sgx_alloc_va_slot(struct sgx_va_page *va_page)
void sgx_free_va_slot(struct sgx_va_page *va_page, unsigned int offset)
bool sgx_va_page_full(struct sgx_va_page *va_page)
struct sgx_va_page *va_page;
struct sgx_va_page *va_page;
va_page = list_first_entry(&encl->va_pages, struct sgx_va_page,
unsigned int sgx_alloc_va_slot(struct sgx_va_page *va_page);
void sgx_free_va_slot(struct sgx_va_page *va_page, unsigned int offset);
bool sgx_va_page_full(struct sgx_va_page *va_page);
struct sgx_va_page *sgx_encl_grow(struct sgx_encl *encl, bool reclaim);
void sgx_encl_shrink(struct sgx_encl *encl, struct sgx_va_page *va_page);
struct sgx_va_page *va_page;
struct sgx_va_page *sgx_encl_grow(struct sgx_encl *encl, bool reclaim)
struct sgx_va_page *va_page = NULL;
struct sgx_va_page *va_page;
void sgx_encl_shrink(struct sgx_encl *encl, struct sgx_va_page *va_page)
struct sgx_va_page *va_page;
struct sgx_va_page *va_page;
va_page = list_first_entry(&encl->va_pages, struct sgx_va_page,