Home
last modified time | relevance | path

Searched refs:page_type (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/amd64/sgx/
H A Dsgx.c790 uint64_t page_type; in sgx_ioctl_add_page() local
833 page_type = (secinfo.flags & SECINFO_FLAGS_PT_M) >> in sgx_ioctl_add_page()
835 if (page_type != SGX_PT_TCS && page_type != SGX_PT_REG) { in sgx_ioctl_add_page()
839 if (page_type == SGX_PT_TCS) { in sgx_ioctl_add_page()