<dec f='src/src/sys/sys/verified_exec.h' l='60'/>
<use f='src/src/sys/dev/veriexec.c' l='163' u='c'/>
<use f='src/src/sys/dev/veriexec.c' l='258' u='c'/>
