freebsd-skq/sys/dev/veriexec
..
veriexec_ioctl.h
verified_exec.c