6 #include <linux/kernel.h>
10 #include <linux/sched.h>
14 #include <asm/setup.h>
16 #include <asm/param.h>
17 #include <asm/system_misc.h>
23 #define ROMCARD_SIZE 0x08000000
24 #define ROMCARD_START 0x10000000
26 static void shark_restart(
char mode,
const char *
cmd)
32 temp = temp | (1<<3) | (1<<10);
61 .platform_data = serial_platform_data,
65 static struct resource rtc_resources[] = {
81 .resource = rtc_resources,
85 static int __init shark_init(
void)
89 if (machine_is_shark())
92 if (ret)
printk(
KERN_ERR "Unable to register RTC device: %d\n", ret);
94 if (ret)
printk(
KERN_ERR "Unable to register Serial device: %d\n", ret);
104 #define HZ_TIME ((1193180 + HZ/2) / HZ)
107 shark_timer_interrupt(
int irq,
void *
dev_id)
113 static struct irqaction shark_timer_irq = {
114 .name =
"Shark Timer Tick",
116 .handler = shark_timer_interrupt,
122 static void __init shark_timer_init(
void)
132 .init = shark_timer_init,
135 static void shark_init_early(
void)
142 .atag_offset = 0x3000,
143 .init_early = shark_init_early,
145 .timer = &shark_timer,
147 .restart = shark_restart,