lukem 08716eae82 __KERNEL_RCSID()		2003-07-15 00:24:37 +00:00
..
smdk2800_machdep.c	__KERNEL_RCSID()	2003-07-15 00:24:37 +00:00
smdk2800_pci.c	__KERNEL_RCSID()	2003-07-15 00:24:37 +00:00
smdk2800_start.S	use PMAP_DOMAIN_KERNEL and DOMAIN_CLIENT instead of magic numbers.	2003-06-18 03:17:49 +00:00