Symbol: veriexec_usage
sbin/veriexec/veriexec.c
185
return (veriexec_usage());
sbin/veriexec/veriexec.c
194
return (veriexec_usage());
sbin/veriexec/veriexec.c
283
veriexec_usage();