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