Symbol: veriexec_openchk
sys/kern/vfs_syscalls.c
2477
error = veriexec_openchk(l, nd.ni_vp, pathstring,
sys/kern/vfs_vnops.c
232
error = veriexec_openchk(l, nd.ni_vp, pathstring, fmode);
sys/sys/verified_exec.h
109
int veriexec_openchk(struct lwp *, struct vnode *, const char *, int);