1 #include <linux/kernel.h>
2 #include <linux/interrupt.h>
6 #include <asm/hardware/gic.h>
7 #include <asm/mach/arch.h>
9 #include <mach/board.h>
10 #include <mach/gpio.h>
11 #include <mach/iomux.h>
13 void __init rk30_init_irq(void)
15 gic_init(0, IRQ_LOCALTIMER, RK30_GICD_BASE, RK30_GICC_BASE);
18 void __init rk30_map_io(void)
24 void __init rk30_fixup(struct machine_desc *desc, struct tag *tags,
25 char **cmdline, struct meminfo *mi)
28 mi->bank[0].start = PLAT_PHYS_OFFSET;
29 mi->bank[0].size = SZ_128M;