Symbol: VERIEXEC_FLUSH
sbin/veriexecctl/veriexecctl.c
316
if (ioctl(gfd, VERIEXEC_FLUSH) == -1)
sys/dev/veriexec.c
158
case VERIEXEC_FLUSH:
sys/dev/veriexec.c
253
case VERIEXEC_FLUSH: