Symbol: SGX_PT_TCS
sys/amd64/sgx/sgx.c
839
if (page_type != SGX_PT_TCS && page_type != SGX_PT_REG) {
sys/amd64/sgx/sgx.c
843
if (page_type == SGX_PT_TCS) {