arch/arm/mach-s3c2440/s3c2440.c

   1 /* linux/arch/arm/mach-s3c2440/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/serial_core.h>
  21 #include <linux/sysdev.h>
  22 #include <linux/clk.h>
  23
  24 #include <asm/mach/arch.h>
  25 #include <asm/mach/map.h>
  26 #include <asm/mach/irq.h>
  27
  28 #include <mach/hardware.h>
  29 #include <asm/io.h>
  30 #include <asm/irq.h>
  31
  32 #include <asm/plat-s3c24xx/s3c2440.h>
  33 #include <asm/plat-s3c24xx/devs.h>
  34 #include <asm/plat-s3c24xx/cpu.h>
  35
  36 static struct sys_device s3c2440_sysdev = {
  37         .cls            = &s3c2440_sysclass,
  38 };
  39
  40 int __init s3c2440_init(void)
  41 {
  42         printk("S3C2440: Initialising architecture\n");
  43
  44         /* change irq for watchdog */
  45
  46         s3c_device_wdt.resource[1].start = IRQ_S3C2440_WDT;
  47         s3c_device_wdt.resource[1].end   = IRQ_S3C2440_WDT;
  48
  49         /* register our system device for everything else */
  50
  51         return sysdev_register(&s3c2440_sysdev);
  52 }