<dec f='src/src/sys/sys/verified_exec.h' l='71'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='510' u='c'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='676' u='c'/>
