Searched refs:page_type (Results 1 – 2 of 2) sorted by relevance
794 uint64_t page_type; in sgx_ioctl_add_page() local837 page_type = (secinfo.flags & SECINFO_FLAGS_PT_M) >> in sgx_ioctl_add_page()839 if (page_type != SGX_PT_TCS && page_type != SGX_PT_REG) { in sgx_ioctl_add_page()843 if (page_type == SGX_PT_TCS) { in sgx_ioctl_add_page()
782 __delete_page(HTAB *hashp, PAGE16 *pagep, int32_t page_type) in __delete_page() argument784 if (page_type == A_OVFL) in __delete_page()