Module Name:	src
Committed By:	christos
Date:		Tue Sep 30 20:47:23 UTC 2003

Added Files:
	src/regress/include/okheaders: Makefile symbolcheck.c

Log Message:
Make sure that our headers are clean enough by including all of them, and
checking for symbols that we leak in userland that we should not. Currently
only vaddr_t checked.


To generate a diff of this commit:
cvs rdiff -r0 -r1.1 src/regress/include/okheaders/Makefile \
    src/regress/include/okheaders/symbolcheck.c

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