mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / mach-s3c64xx / common.h
blob4f204668f00e073a5007c8572b3d34d3b1b98ff0
1 /*
2 * Copyright (c) 2011 Samsung Electronics Co., Ltd.
3 * http://www.samsung.com
5 * Copyright 2008 Openmoko, Inc.
6 * Copyright 2008 Simtec Electronics
7 * Ben Dooks <ben@simtec.co.uk>
8 * http://armlinux.simtec.co.uk/
10 * Common Header for S3C64XX machines
12 * This program is free software; you can redistribute it and/or modify
13 * it under the terms of the GNU General Public License version 2 as
14 * published by the Free Software Foundation.
17 #ifndef __ARCH_ARM_MACH_S3C64XX_COMMON_H
18 #define __ARCH_ARM_MACH_S3C64XX_COMMON_H
20 #include <linux/reboot.h>
22 void s3c64xx_init_irq(u32 vic0, u32 vic1);
23 void s3c64xx_init_io(struct map_desc *mach_desc, int size);
25 void s3c64xx_restart(enum reboot_mode mode, const char *cmd);
27 struct device_node;
28 void s3c64xx_clk_init(struct device_node *np, unsigned long xtal_f,
29 unsigned long xusbxti_f, bool is_s3c6400, void __iomem *reg_base);
30 void s3c64xx_set_xtal_freq(unsigned long freq);
31 void s3c64xx_set_xusbxti_freq(unsigned long freq);
33 #ifdef CONFIG_CPU_S3C6400
35 extern int s3c6400_init(void);
36 extern void s3c6400_init_irq(void);
37 extern void s3c6400_map_io(void);
39 #else
40 #define s3c6400_map_io NULL
41 #define s3c6400_init NULL
42 #endif
44 #ifdef CONFIG_CPU_S3C6410
46 extern int s3c6410_init(void);
47 extern void s3c6410_init_irq(void);
48 extern void s3c6410_map_io(void);
50 #else
51 #define s3c6410_map_io NULL
52 #define s3c6410_init NULL
53 #endif
55 #ifdef CONFIG_S3C64XX_PL080
56 extern struct pl08x_platform_data s3c64xx_dma0_plat_data;
57 extern struct pl08x_platform_data s3c64xx_dma1_plat_data;
58 #endif
60 #endif /* __ARCH_ARM_MACH_S3C64XX_COMMON_H */