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