Module Name:	src
Committed By:	elad
Date:		Fri Jun  3 13:21:35 UTC 2005

Modified Files:
	src/sbin/veriexecctl: veriexecctl.c
	src/sys/dev: verified_exec.c

Log Message:
Don't create duplicate tables for the same device.


To generate a diff of this commit:
cvs rdiff -r1.13 -r1.14 src/sbin/veriexecctl/veriexecctl.c
cvs rdiff -r1.10 -r1.11 src/sys/dev/verified_exec.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.