Add rcsid.

This commit is contained in:
David E. O'Brien 2001-02-27 10:50:06 +00:00
parent 2a6cb8804e
commit f0ba626a0d

View File

@ -36,6 +36,12 @@
#include <stddef.h>
#ifndef lint
static const char rcsid[] =
"$FreeBSD$";
#endif /* not lint */
fixpt_t ccpu; /* kernel _ccpu variable */
int nlistread; /* if nlist already read. */
int mempages; /* number of pages of phys. memory */