Symbol: veriexec_flush
sys/dev/veriexec.c
254
error = veriexec_flush(l);
sys/sys/verified_exec.h
103
int veriexec_flush(struct lwp *);