Searched refs:page_type (Results 1 – 1 of 1) sorted by relevance
788 uint64_t page_type; in sgx_ioctl_add_page() local831 page_type = (secinfo.flags & SECINFO_FLAGS_PT_M) >> in sgx_ioctl_add_page()833 if (page_type != SGX_PT_TCS && page_type != SGX_PT_REG) { in sgx_ioctl_add_page()837 if (page_type == SGX_PT_TCS) { in sgx_ioctl_add_page()