veriexec_removechk
if ((error = veriexec_removechk(curlwp, nd.ni_vp, pathstring)) != 0) {
int veriexec_removechk(struct lwp *, struct vnode *, const char *);