David E. O'Brien 8368cf8f75 Use __FBSDID rather than rcsid[].		2003-04-03 21:36:33 +00:00
..
bootinfo.c	Simplify page alignment.	2003-02-20 06:47:54 +00:00
copy.c	Use __FBSDID rather than rcsid[].	2003-04-03 21:36:33 +00:00
devicename.c	Reformat.	2001-09-07 08:49:47 +00:00
exec.c	Remove a left-over virtual mapping of uncached I/O port space.	2002-11-28 03:25:51 +00:00