Lines Matching full:sgx
41 * This driver requires Intel SGX support from hardware.
43 * /dev/sgx:
50 * VM object destructor destroys the SGX enclave associated
76 * 1) User calls mmap() on /dev/sgx: we allocate a VM object
104 * SGX ENCLS set of instructions have limitations on concurrency:
108 * SGX driver.
149 #include <machine/sgx.h>
152 #include <amd64/sgx/sgxvar.h>
611 strlcpy(path, "sgx", len); in sgx_pg_path()
657 /* SGX Enclave Control Structure (SECS) */ in sgx_ioctl_create()
1067 .d_name = "Intel SGX",
1109 sc->vmem_epc = vmem_create("SGX EPC", sc->epc_base, sc->epc_size, in sgx_get_epc_area()
1156 mtx_init(&sc->mtx_encls, "SGX ENCLS", NULL, MTX_DEF); in sgx_load()
1157 mtx_init(&sc->mtx, "SGX driver", NULL, MTX_DEF); in sgx_load()
1166 printf("SGX initialized: EPC base 0x%lx size %ld (%d pages)\n", in sgx_load()
1222 "sgx",
1227 DECLARE_MODULE(sgx, sgx_kmod, SI_SUB_LAST, SI_ORDER_ANY);
1228 MODULE_VERSION(sgx, 1);