SGX_PAGE_TYPE_REG
SGX_SECINFO_REG = (SGX_PAGE_TYPE_REG << 8),
encl_page->type = SGX_PAGE_TYPE_REG;
if (entry->type != SGX_PAGE_TYPE_REG) {
if (!(entry->type == SGX_PAGE_TYPE_REG ||
if (entry->type == SGX_PAGE_TYPE_REG &&
seg->flags = (SGX_PAGE_TYPE_REG << 8) | seg->prot;
seg->flags = (SGX_PAGE_TYPE_REG << 8) | seg->prot;