<dec f='src/src/sys/sys/verified_exec.h' l='128' type='int veriexec_unmountchk(struct mount * )'/>
<def f='src/src/sys/kern/kern_veriexec.c' l='1243' ll='1293' type='int veriexec_unmountchk(struct mount * mp)'/>
