<dec f='src/src/sys/sys/verified_exec.h' l='120' type='int veriexec_table_delete(struct lwp * , struct mount * )'/>
<use f='src/src/sys/dev/veriexec.c' l='124' u='c' c='veriexec_delete'/>
<def f='src/src/sys/kern/kern_veriexec.c' l='1169' ll='1182' type='int veriexec_table_delete(struct lwp * l, struct mount * mp)'/>
<use f='src/src/sys/kern/kern_veriexec.c' l='1398' u='c' c='veriexec_flush'/>
