Open Menu / arch / x86 / kernel / cpu / sgx
Parent directory
Makefile 88 bytes
driver.c 4530 bytes
driver.h 714 bytes
encl.c 36162 bytes
encl.h 3551 bytes
encls.h 6218 bytes
ioctl.c 31936 bytes
main.c 26980 bytes
sgx.h 2909 bytes
virt.c 11775 bytes