1 /*
2  *  linux/arch/arm/mach-shark/arch.c
3  *
4  *  Architecture specific stuff.
5  */
6 #include <linux/tty.h>
7 #include <linux/delay.h>
8 #include <linux/pm.h>
9 #include <linux/init.h>
10 
11 #include <asm/hardware/dec21285.h>
12 #include <asm/elf.h>
13 #include <asm/setup.h>
14 #include <asm/mach-types.h>
15 
16 #include <asm/mach/arch.h>
17 
18 extern void shark_map_io(void);
19 extern void genarch_init_irq(void);
20 
21 MACHINE_START(SHARK, "Shark")
22 	MAINTAINER("Alexander Schulz")
23 	BOOT_MEM(0x08000000, 0x40000000, 0xe0000000)
24 	BOOT_PARAMS(0x08003000)
25 	MAPIO(shark_map_io)
26 	INITIRQ(genarch_init_irq)
27 MACHINE_END
28