<dec f='src/src/sys/sys/verified_exec.h' l='64'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='682' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='752' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='976' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='1259' u='c'/>
