SGX_SECINFO_PAGE_TYPE_MASK
SGX_SECINFO_PAGE_TYPE_MASK)
if ((secinfo_flags & SGX_SECINFO_PAGE_TYPE_MASK) == SGX_SECINFO_TCS)
u64 pt = secinfo->flags & SGX_SECINFO_PAGE_TYPE_MASK;
encl_page->type = (secinfo->flags & SGX_SECINFO_PAGE_TYPE_MASK) >> 8;