<dec f='src/src/sys/sys/verified_exec.h' l='122' type='int veriexec_dump(struct lwp * , prop_array_t )'/>
<use f='src/src/sys/dev/veriexec.c' l='247' u='c' c='veriexecioctl'/>
<def f='src/src/sys/kern/kern_veriexec.c' l='1363' ll='1382' type='int veriexec_dump(struct lwp * l, prop_array_t rarray)'/>
