2 * linux/arch/arm/mach-shark/arch.c
4 * Architecture specific stuff.
6 #include <linux/kernel.h>
7 #include <linux/init.h>
8 #include <linux/interrupt.h>
10 #include <linux/sched.h>
11 #include <linux/serial_8250.h>
13 #include <linux/cpu.h>
14 #include <linux/reboot.h>
16 #include <asm/setup.h>
17 #include <asm/mach-types.h>
18 #include <asm/param.h>
19 #include <asm/system_misc.h>
21 #include <asm/mach/map.h>
22 #include <asm/mach/arch.h>
23 #include <asm/mach/time.h>
25 #define ROMCARD_SIZE 0x08000000
26 #define ROMCARD_START 0x10000000
28 static void shark_restart(enum reboot_mode mode, const char *cmd)
31 /* Reset the Machine via pc[3] of the sequoia chipset */
34 temp = temp | (1<<3) | (1<<10);
39 static struct plat_serial8250_port serial_platform_data[] = {
46 .flags = UPF_BOOT_AUTOCONF | UPF_SKIP_TEST,
54 .flags = UPF_BOOT_AUTOCONF | UPF_SKIP_TEST,
59 static struct platform_device serial_device = {
61 .id = PLAT8250_DEV_PLATFORM,
63 .platform_data = serial_platform_data,
67 static struct resource rtc_resources[] = {
71 .flags = IORESOURCE_IO,
74 .start = IRQ_ISA_RTC_ALARM,
75 .end = IRQ_ISA_RTC_ALARM,
76 .flags = IORESOURCE_IRQ,
80 static struct platform_device rtc_device = {
83 .resource = rtc_resources,
84 .num_resources = ARRAY_SIZE(rtc_resources),
87 static int __init shark_init(void)
91 if (machine_is_shark())
93 ret = platform_device_register(&rtc_device);
94 if (ret) printk(KERN_ERR "Unable to register RTC device: %d\n", ret);
95 ret = platform_device_register(&serial_device);
96 if (ret) printk(KERN_ERR "Unable to register Serial device: %d\n", ret);
101 arch_initcall(shark_init);
103 extern void shark_init_irq(void);
106 #define HZ_TIME ((1193180 + HZ/2) / HZ)
109 shark_timer_interrupt(int irq, void *dev_id)
115 static struct irqaction shark_timer_irq = {
116 .name = "Shark Timer Tick",
117 .flags = IRQF_DISABLED | IRQF_TIMER | IRQF_IRQPOLL,
118 .handler = shark_timer_interrupt,
122 * Set up timer interrupt, and return the current time in seconds.
124 static void __init shark_timer_init(void)
126 outb(0x34, 0x43); /* binary, mode 0, LSB/MSB, Ch 0 */
127 outb(HZ_TIME & 0xff, 0x40); /* LSB of count */
128 outb(HZ_TIME >> 8, 0x40);
130 setup_irq(IRQ_TIMER, &shark_timer_irq);
133 static void shark_init_early(void)
135 cpu_idle_poll_ctrl(true);
138 MACHINE_START(SHARK, "Shark")
139 /* Maintainer: Alexander Schulz */
140 .atag_offset = 0x3000,
141 .init_early = shark_init_early,
142 .init_irq = shark_init_irq,
143 .init_time = shark_timer_init,
144 .dma_zone_size = SZ_4M,
145 .restart = shark_restart,