Symbol: VERIEXEC_GETVERSION
sbin/veriexec/veriexec.c
298
#ifdef VERIEXEC_GETVERSION
sbin/veriexec/veriexec.c
299
if (ioctl(dev_fd, VERIEXEC_GETVERSION, &VeriexecVersion)) {
sys/dev/veriexec/verified_exec.c
153
case VERIEXEC_GETVERSION: