mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / mach-ep93xx / ts72xx.h
blobb89850f1a965103945d3e3e960a1fdd2de63580b
1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3 * arch/arm/mach-ep93xx/include/mach/ts72xx.h
4 */
6 /*
7 * TS72xx memory map:
9 * virt phys size
10 * febff000 22000000 4K model number register (bits 0-2)
11 * febfe000 22400000 4K options register
12 * febfd000 22800000 4K options register #2
15 #define TS72XX_MODEL_PHYS_BASE 0x22000000
16 #define TS72XX_MODEL_VIRT_BASE IOMEM(0xfebff000)
17 #define TS72XX_MODEL_SIZE 0x00001000
19 #define TS72XX_MODEL_TS7200 0x00
20 #define TS72XX_MODEL_TS7250 0x01
21 #define TS72XX_MODEL_TS7260 0x02
22 #define TS72XX_MODEL_TS7300 0x03
23 #define TS72XX_MODEL_TS7400 0x04
24 #define TS72XX_MODEL_MASK 0x07
27 #define TS72XX_OPTIONS_PHYS_BASE 0x22400000
28 #define TS72XX_OPTIONS_VIRT_BASE IOMEM(0xfebfe000)
29 #define TS72XX_OPTIONS_SIZE 0x00001000
31 #define TS72XX_OPTIONS_COM2_RS485 0x02
32 #define TS72XX_OPTIONS_MAX197 0x01
35 #define TS72XX_OPTIONS2_PHYS_BASE 0x22800000
36 #define TS72XX_OPTIONS2_VIRT_BASE IOMEM(0xfebfd000)
37 #define TS72XX_OPTIONS2_SIZE 0x00001000
39 #define TS72XX_OPTIONS2_TS9420 0x04
40 #define TS72XX_OPTIONS2_TS9420_BOOT 0x02
42 #define TS72XX_WDT_CONTROL_PHYS_BASE 0x23800000
43 #define TS72XX_WDT_FEED_PHYS_BASE 0x23c00000
45 #ifndef __ASSEMBLY__
47 static inline int ts72xx_model(void)
49 return __raw_readb(TS72XX_MODEL_VIRT_BASE) & TS72XX_MODEL_MASK;
52 static inline int board_is_ts7200(void)
54 return ts72xx_model() == TS72XX_MODEL_TS7200;
57 static inline int board_is_ts7250(void)
59 return ts72xx_model() == TS72XX_MODEL_TS7250;
62 static inline int board_is_ts7260(void)
64 return ts72xx_model() == TS72XX_MODEL_TS7260;
67 static inline int board_is_ts7300(void)
69 return ts72xx_model() == TS72XX_MODEL_TS7300;
72 static inline int board_is_ts7400(void)
74 return ts72xx_model() == TS72XX_MODEL_TS7400;
77 static inline int is_max197_installed(void)
79 return !!(__raw_readb(TS72XX_OPTIONS_VIRT_BASE) &
80 TS72XX_OPTIONS_MAX197);
83 static inline int is_ts9420_installed(void)
85 return !!(__raw_readb(TS72XX_OPTIONS2_VIRT_BASE) &
86 TS72XX_OPTIONS2_TS9420);
88 #endif