<dec f='src/src/sys/sys/verified_exec.h' l='118' type='_Bool veriexec_lookup(struct vnode * )'/>
<def f='src/src/sys/kern/kern_veriexec.c' l='534' ll='538' macro='1' type='_Bool veriexec_lookup(struct vnode * vp)'/>
