Symbol: veriexec_renamechk
sys/kern/vfs_syscalls.c
4702
error = veriexec_renamechk(curlwp, fvp, f1, tvp, f2);
sys/sys/verified_exec.h
106
int veriexec_renamechk(struct lwp *, struct vnode *, const char *,