x86, efi: Set runtime_version to the EFI spec revision
[linux/fpc-iii.git] / arch / arm / mach-shark / core.c
blob9ad2e9737fb5cabd3a1afc2785d31e8dc61dcfdf
1 /*
2 * linux/arch/arm/mach-shark/arch.c
4 * Architecture specific stuff.
5 */
6 #include <linux/kernel.h>
7 #include <linux/init.h>
8 #include <linux/interrupt.h>
9 #include <linux/irq.h>
10 #include <linux/sched.h>
11 #include <linux/serial_8250.h>
12 #include <linux/io.h>
14 #include <asm/setup.h>
15 #include <asm/mach-types.h>
16 #include <asm/param.h>
17 #include <asm/system_misc.h>
19 #include <asm/mach/map.h>
20 #include <asm/mach/arch.h>
21 #include <asm/mach/time.h>
23 #define ROMCARD_SIZE 0x08000000
24 #define ROMCARD_START 0x10000000
26 static void shark_restart(char mode, const char *cmd)
28 short temp;
29 /* Reset the Machine via pc[3] of the sequoia chipset */
30 outw(0x09,0x24);
31 temp=inw(0x26);
32 temp = temp | (1<<3) | (1<<10);
33 outw(0x09,0x24);
34 outw(temp,0x26);
37 static struct plat_serial8250_port serial_platform_data[] = {
39 .iobase = 0x3f8,
40 .irq = 4,
41 .uartclk = 1843200,
42 .regshift = 0,
43 .iotype = UPIO_PORT,
44 .flags = UPF_BOOT_AUTOCONF | UPF_SKIP_TEST,
47 .iobase = 0x2f8,
48 .irq = 3,
49 .uartclk = 1843200,
50 .regshift = 0,
51 .iotype = UPIO_PORT,
52 .flags = UPF_BOOT_AUTOCONF | UPF_SKIP_TEST,
54 { },
57 static struct platform_device serial_device = {
58 .name = "serial8250",
59 .id = PLAT8250_DEV_PLATFORM,
60 .dev = {
61 .platform_data = serial_platform_data,
65 static struct resource rtc_resources[] = {
66 [0] = {
67 .start = 0x70,
68 .end = 0x73,
69 .flags = IORESOURCE_IO,
71 [1] = {
72 .start = IRQ_ISA_RTC_ALARM,
73 .end = IRQ_ISA_RTC_ALARM,
74 .flags = IORESOURCE_IRQ,
78 static struct platform_device rtc_device = {
79 .name = "rtc_cmos",
80 .id = -1,
81 .resource = rtc_resources,
82 .num_resources = ARRAY_SIZE(rtc_resources),
85 static int __init shark_init(void)
87 int ret;
89 if (machine_is_shark())
91 ret = platform_device_register(&rtc_device);
92 if (ret) printk(KERN_ERR "Unable to register RTC device: %d\n", ret);
93 ret = platform_device_register(&serial_device);
94 if (ret) printk(KERN_ERR "Unable to register Serial device: %d\n", ret);
96 return 0;
99 arch_initcall(shark_init);
101 extern void shark_init_irq(void);
103 #define IRQ_TIMER 0
104 #define HZ_TIME ((1193180 + HZ/2) / HZ)
106 static irqreturn_t
107 shark_timer_interrupt(int irq, void *dev_id)
109 timer_tick();
110 return IRQ_HANDLED;
113 static struct irqaction shark_timer_irq = {
114 .name = "Shark Timer Tick",
115 .flags = IRQF_DISABLED | IRQF_TIMER | IRQF_IRQPOLL,
116 .handler = shark_timer_interrupt,
120 * Set up timer interrupt, and return the current time in seconds.
122 static void __init shark_timer_init(void)
124 outb(0x34, 0x43); /* binary, mode 0, LSB/MSB, Ch 0 */
125 outb(HZ_TIME & 0xff, 0x40); /* LSB of count */
126 outb(HZ_TIME >> 8, 0x40);
128 setup_irq(IRQ_TIMER, &shark_timer_irq);
131 static struct sys_timer shark_timer = {
132 .init = shark_timer_init,
135 static void shark_init_early(void)
137 disable_hlt();
140 MACHINE_START(SHARK, "Shark")
141 /* Maintainer: Alexander Schulz */
142 .atag_offset = 0x3000,
143 .init_early = shark_init_early,
144 .init_irq = shark_init_irq,
145 .timer = &shark_timer,
146 .dma_zone_size = SZ_4M,
147 .restart = shark_restart,
148 MACHINE_END