<dec f='src/src/sys/sys/verified_exec.h' l='66'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='613' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='742' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='778' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='988' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='1283' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='1310' u='c'/>
