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