<dec f='src/src/sys/sys/verified_exec.h' l='51'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='615' 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='1121' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='1320' u='c'/>
