14 #include <linux/kernel.h>
15 #include <linux/types.h>
17 #include <linux/list.h>
21 #include <linux/serial_core.h>
29 #include <mach/hardware.h>
31 #include <asm/setup.h>
37 #include <mach/regs-gpio.h>
38 #include <mach/regs-lcd.h>
47 #include <plat/clock.h>
100 mi->
bank[0].start = 0x30000000;
105 static void __init smdk2413_map_io(
void)
112 static void __init smdk2413_machine_init(
void)
130 .atag_offset = 0x100,
132 .fixup = smdk2413_fixup,
134 .map_io = smdk2413_map_io,
135 .init_machine = smdk2413_machine_init,
142 .atag_offset = 0x100,
144 .fixup = smdk2413_fixup,
146 .map_io = smdk2413_map_io,
147 .init_machine = smdk2413_machine_init,
154 .atag_offset = 0x100,
156 .fixup = smdk2413_fixup,
158 .map_io = smdk2413_map_io,
159 .init_machine = smdk2413_machine_init,