<dec f='src/src/sys/sys/verified_exec.h' l='65'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='614' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='654' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='796' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='953' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='985' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='998' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='1268' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='1333' u='c'/>
