> Module Name:	src
> Committed By:	elad
> Date:		Thu Dec 14 11:15:28 UTC 2006
> 
> Modified Files:
> 	src/sys/kern: kern_verifiedexec.c
> 
> Log Message:
> PR/35252: YAMAMOTO Takashi: veriexec doesn't handle unmount
> 
> Call veriexec_table_delete() in the cases where we won't be failing the
> unmount request.
> 
> 
> To generate a diff of this commit:
> cvs rdiff -r1.80 -r1.81 src/sys/kern/kern_verifiedexec.c
> 
> Please note that diffs are not public domain; they are subject to the
> copyright notices on the relevant files.

i don't think it's a correct fix.
dounmount can fail for other reasons after calling veriexec_unmountchk.

YAMAMOTO Takashi