Symbol: VERIEXEC_ENFORCE
sbin/veriexec/veriexec.c
127
state = VERIEXEC_ENFORCE;
sys/dev/veriexec/verified_exec.c
144
case VERIEXEC_ENFORCE: