Symbol: veriexec_file_delete
sys/dev/veriexec.c
117
error = veriexec_file_delete(l, vp);
sys/kern/kern_veriexec.c
751
error = veriexec_file_delete(l, vp);
sys/kern/kern_veriexec.c
843
(void)veriexec_file_delete(l, tovp);
sys/sys/verified_exec.h
99
int veriexec_file_delete(struct lwp *, struct vnode *);