/sys/dev/veriexec/
../
veriexec_ioctl.h
verified_exec.c