Module Name:	src
Committed By:	elad
Date:		Sun May 22 22:34:01 UTC 2005

Modified Files:
	src/sys/dev: verified_exec.c
	src/sys/kern: init_sysctl.c kern_verifiedexec.c
	src/sys/sys: verified_exec.h

Log Message:
Add indication for number of fingerprinted files on each device.

When a table is created for a new device, a new variable is created
under the kern.veriexec.count node named "dev_<id>". For example,
dev_0, dev_3, etc.


To generate a diff of this commit:
cvs rdiff -r1.9 -r1.10 src/sys/dev/verified_exec.c
cvs rdiff -r1.38 -r1.39 src/sys/kern/init_sysctl.c
cvs rdiff -r1.15 -r1.16 src/sys/kern/kern_verifiedexec.c
cvs rdiff -r1.9 -r1.10 src/sys/sys/verified_exec.h

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