veriexec_get
if ((ovfe = veriexec_get(vp)) != NULL) {
vfe = veriexec_get(vp);
return (veriexec_get(vp) == NULL ? false : true);
vfe = veriexec_get(vp);
vfe = veriexec_get(vp);
fvfe = veriexec_get(fromvp);
tvfe = veriexec_get(tovp);
veriexec_file_purge(veriexec_get(vp), VERIEXEC_UNLOCKED);