Symbol: VERIEXEC_LOAD
sys/dev/veriexec/verified_exec.c
168
case VERIEXEC_LOAD:
sys/dev/veriexec/verified_exec.c
194
int override = (cmd != VERIEXEC_LOAD);