KVM: vmx: fix underflow in TSC deadline calculation
[linux/fpc-iii.git] / arch / arm / mach-s3c64xx / s3c6400.c
blob5ea82accc773ba822a5458c5310b94eb08d6ec27
1 /* linux/arch/arm/mach-s3c64xx/cpu.c
3 * Copyright 2009 Simtec Electronics
4 * Ben Dooks <ben@simtec.co.uk>
5 * http://armlinux.simtec.co.uk/
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License version 2 as
9 * published by the Free Software Foundation.
13 * NOTE: Code in this file is not used when booting with Device Tree support.
16 #include <linux/kernel.h>
17 #include <linux/types.h>
18 #include <linux/interrupt.h>
19 #include <linux/list.h>
20 #include <linux/timer.h>
21 #include <linux/init.h>
22 #include <linux/clk.h>
23 #include <linux/io.h>
24 #include <linux/device.h>
25 #include <linux/serial_core.h>
26 #include <linux/serial_s3c.h>
27 #include <linux/platform_device.h>
28 #include <linux/of.h>
30 #include <asm/mach/arch.h>
31 #include <asm/mach/map.h>
32 #include <asm/mach/irq.h>
34 #include <mach/hardware.h>
35 #include <asm/irq.h>
37 #include <plat/cpu-freq.h>
38 #include <mach/regs-clock.h>
40 #include <plat/cpu.h>
41 #include <plat/devs.h>
42 #include <plat/sdhci.h>
43 #include <plat/iic-core.h>
45 #include "common.h"
46 #include "onenand-core.h"
48 void __init s3c6400_map_io(void)
50 /* setup SDHCI */
52 s3c6400_default_sdhci0();
53 s3c6400_default_sdhci1();
54 s3c6400_default_sdhci2();
56 /* the i2c devices are directly compatible with s3c2440 */
57 s3c_i2c0_setname("s3c2440-i2c");
59 s3c_device_nand.name = "s3c6400-nand";
61 s3c_onenand_setname("s3c6400-onenand");
62 s3c64xx_onenand1_setname("s3c6400-onenand");
65 void __init s3c6400_init_irq(void)
67 /* VIC0 does not have IRQS 5..7,
68 * VIC1 is fully populated. */
69 s3c64xx_init_irq(~0 & ~(0xf << 5), ~0);
72 static struct bus_type s3c6400_subsys = {
73 .name = "s3c6400-core",
74 .dev_name = "s3c6400-core",
77 static struct device s3c6400_dev = {
78 .bus = &s3c6400_subsys,
81 static int __init s3c6400_core_init(void)
83 /* Not applicable when using DT. */
84 if (of_have_populated_dt() || soc_is_s3c64xx())
85 return 0;
87 return subsys_system_register(&s3c6400_subsys, NULL);
90 core_initcall(s3c6400_core_init);
92 int __init s3c6400_init(void)
94 printk("S3C6400: Initialising architecture\n");
96 return device_register(&s3c6400_dev);