arch/arm/mach-s3c2410/s3c2440.c

   1 /* linux/arch/arm/mach-s3c2410/s3c2440.c
   2  *
   3  * Copyright (c) 2004-2006 Simtec Electronics
   4  *   Ben Dooks <ben@simtec.co.uk>
   5  *
   6  * Samsung S3C2440 Mobile CPU support
   7  *
   8  * This program is free software; you can redistribute it and/or modify
   9  * it under the terms of the GNU General Public License version 2 as
  10  * published by the Free Software Foundation.
  11 */
  12
  13 #include <linux/kernel.h>
  14 #include <linux/types.h>
  15 #include <linux/interrupt.h>
  16 #include <linux/list.h>
  17 #include <linux/timer.h>
  18 #include <linux/init.h>
  19 #include <linux/platform_device.h>
  20 #include <linux/sysdev.h>
  21 #include <linux/clk.h>
  22
  23 #include <asm/mach/arch.h>
  24 #include <asm/mach/map.h>
  25 #include <asm/mach/irq.h>
  26
  27 #include <asm/hardware.h>
  28 #include <asm/io.h>
  29 #include <asm/irq.h>
  30
  31 #include <asm/arch/regs-clock.h>
  32 #include <asm/arch/regs-serial.h>
  33 #include <asm/arch/regs-gpio.h>
  34 #include <asm/arch/regs-gpioj.h>
  35 #include <asm/arch/regs-dsc.h>
  36
  37 #include "s3c2440.h"
  38 #include "clock.h"
  39 #include "devs.h"
  40 #include "cpu.h"
  41 #include "pm.h"
  42
  43 static struct sys_device s3c2440_sysdev = {
  44         .cls            = &s3c2440_sysclass,
  45 };
  46
  47 int __init s3c2440_init(void)
  48 {
  49         printk("S3C2440: Initialising architecture\n");
  50
  51         /* change irq for watchdog */
  52
  53         s3c_device_wdt.resource[1].start = IRQ_S3C2440_WDT;
  54         s3c_device_wdt.resource[1].end   = IRQ_S3C2440_WDT;
  55
  56         /* register our system device for everything else */
  57
  58         return sysdev_register(&s3c2440_sysdev);
  59 }