mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / mach-s3c64xx / mach-ncp.c
blob23baaa04318c42662e86df8ec34af3e45d228f8a
1 /*
2 * linux/arch/arm/mach-s3c64xx/mach-ncp.c
4 * Copyright (C) 2008-2009 Samsung Electronics
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
12 #include <linux/kernel.h>
13 #include <linux/types.h>
14 #include <linux/interrupt.h>
15 #include <linux/list.h>
16 #include <linux/timer.h>
17 #include <linux/init.h>
18 #include <linux/serial_core.h>
19 #include <linux/serial_s3c.h>
20 #include <linux/platform_device.h>
21 #include <linux/io.h>
22 #include <linux/i2c.h>
23 #include <linux/fb.h>
24 #include <linux/gpio.h>
25 #include <linux/delay.h>
27 #include <video/platform_lcd.h>
28 #include <video/samsung_fimd.h>
30 #include <asm/mach/arch.h>
31 #include <asm/mach/map.h>
32 #include <asm/mach/irq.h>
34 #include <mach/irqs.h>
35 #include <mach/hardware.h>
36 #include <mach/map.h>
38 #include <asm/irq.h>
39 #include <asm/mach-types.h>
41 #include <linux/platform_data/i2c-s3c2410.h>
42 #include <plat/fb.h>
44 #include <plat/devs.h>
45 #include <plat/cpu.h>
46 #include <plat/samsung-time.h>
48 #include "common.h"
50 #define UCON S3C2410_UCON_DEFAULT
51 #define ULCON S3C2410_LCON_CS8 | S3C2410_LCON_PNONE
52 #define UFCON S3C2410_UFCON_RXTRIG8 | S3C2410_UFCON_FIFOMODE
54 static struct s3c2410_uartcfg ncp_uartcfgs[] __initdata = {
55 /* REVISIT: NCP uses only serial 1, 2 */
56 [0] = {
57 .hwport = 0,
58 .flags = 0,
59 .ucon = UCON,
60 .ulcon = ULCON,
61 .ufcon = UFCON,
63 [1] = {
64 .hwport = 1,
65 .flags = 0,
66 .ucon = UCON,
67 .ulcon = ULCON,
68 .ufcon = UFCON,
70 [2] = {
71 .hwport = 2,
72 .flags = 0,
73 .ucon = UCON,
74 .ulcon = ULCON,
75 .ufcon = UFCON,
79 static struct platform_device *ncp_devices[] __initdata = {
80 &s3c_device_hsmmc1,
81 &s3c_device_i2c0,
84 static struct map_desc ncp_iodesc[] __initdata = {};
86 static void __init ncp_map_io(void)
88 s3c64xx_init_io(ncp_iodesc, ARRAY_SIZE(ncp_iodesc));
89 s3c64xx_set_xtal_freq(12000000);
90 s3c24xx_init_uarts(ncp_uartcfgs, ARRAY_SIZE(ncp_uartcfgs));
91 samsung_set_timer_source(SAMSUNG_PWM3, SAMSUNG_PWM4);
94 static void __init ncp_machine_init(void)
96 s3c_i2c0_set_platdata(NULL);
98 platform_add_devices(ncp_devices, ARRAY_SIZE(ncp_devices));
101 MACHINE_START(NCP, "NCP")
102 /* Maintainer: Samsung Electronics */
103 .atag_offset = 0x100,
104 .nr_irqs = S3C64XX_NR_IRQS,
105 .init_irq = s3c6410_init_irq,
106 .map_io = ncp_map_io,
107 .init_machine = ncp_machine_init,
108 .init_time = samsung_timer_init,
109 .restart = s3c64xx_restart,
110 MACHINE_END