arch/arm/mach-espd_4510b/mm.c

   1 /*
   2  *  linux/arch/armnommu/mach-espd_4510b/mm.c
   3  *
   4  *  Copyright(C)2003 SAMSUNG ELECTRONICS Co.,Ltd.
   5  *         Hyok S. Choi (hyok.choi@samsung.com)
   6  *
   7  */
   8 #include <linux/sched.h>
   9 #include <linux/mm.h>
  10 #include <linux/init.h>
  11
  12 #include <asm/hardware.h>
  13 #include <asm/io.h>
  14 #include <asm/pgtable.h>
  15 #include <asm/page.h>
  16
  17 #include <asm/mach/map.h>