Symbol: VERIEXEC_DEBUG_OFF
sbin/veriexec/veriexec.c
248
state = VERIEXEC_DEBUG_OFF;
sbin/veriexec/veriexec.c
263
state = VERIEXEC_DEBUG_OFF;
sbin/veriexec/veriexec.c
273
if (state == VERIEXEC_DEBUG_ON || state == VERIEXEC_DEBUG_OFF)
sys/dev/veriexec/verified_exec.c
141
case VERIEXEC_DEBUG_OFF: