<dec f='src/src/sys/sys/verified_exec.h' l='50'/>
<use f='src/src/sys/kern/kern_exec.c' l='384' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='1112' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='1120' u='c'/>
<use f='src/src/sys/kern/vfs_vnops.c' l='986' u='c'/>
