<dec f='src/obj/amd64/sys/arch/amd64/compile/GENERIC/opt_veriexec.h' l='1'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='357' u='a'/>
