mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / at91-sama5d4_ma5d4evk.dts
blob84be29f38dae005f12eb0c13a1ec90eaf5b5616a
1 /*
2  * Copyright (C) 2015 Marek Vasut <marex@denx.de>
3  *
4  * The code contained herein is licensed under the GNU General Public
5  * License. You may obtain a copy of the GNU General Public License
6  * Version 2 or later at the following locations:
7  *
8  * http://www.opensource.org/licenses/gpl-license.html
9  * http://www.gnu.org/copyleft/gpl.html
10  */
12 /dts-v1/;
13 #include "at91-sama5d4_ma5d4.dtsi"
15 / {
16         model = "Aries/DENX MA5D4EVK";
17         compatible = "aries,ma5d4evk", "denx,ma5d4evk", "atmel,sama5d4", "atmel,sama5";
19         chosen {
20                 stdout-path = "serial3:115200n8";
21         };
23         ahb {
24                 usb0: gadget@00400000 {
25                         atmel,vbus-gpio = <&pioE 31 GPIO_ACTIVE_HIGH>;
26                         pinctrl-names = "default";
27                         pinctrl-0 = <&pinctrl_usba_vbus>;
28                         status = "okay";
29                 };
31                 usb1: ohci@00500000 {
32                         num-ports = <3>;
33                         atmel,vbus-gpio = <0
34                                            &pioE 11 GPIO_ACTIVE_LOW
35                                            &pioE 14 GPIO_ACTIVE_LOW
36                                           >;
37                         status = "okay";
38                 };
40                 usb2: ehci@00600000 {
41                         status = "okay";
42                 };
44                 apb {
45                         hlcdc: hlcdc@f0000000 {
46                                 status = "okay";
48                                 hlcdc-display-controller {
49                                         pinctrl-names = "default";
50                                         pinctrl-0 = <&pinctrl_lcd_base &pinctrl_lcd_rgb888>;
52                                         port@0 {
53                                                 hlcdc_panel_output: endpoint@0 {
54                                                         reg = <0>;
55                                                         remote-endpoint = <&panel_input>;
56                                                 };
57                                         };
58                                 };
60                         };
62                         macb0: ethernet@f8020000 {
63                                 phy-mode = "rmii";
64                                 status = "okay";
66                                 phy0: ethernet-phy@0 {
67                                         reg = <0>;
68                                 };
69                         };
71                         usart0: serial@f802c000 {
72                                 status = "okay";
73                         };
75                         usart1: serial@f8030000 {
76                                 status = "okay";
77                         };
79                         mmc1: mmc@fc000000 {
80                                 pinctrl-names = "default";
81                                 pinctrl-0 = <&pinctrl_mmc1_clk_cmd_dat0 &pinctrl_mmc1_dat1_3 &pinctrl_mmc1_cd>;
82                                 vmmc-supply = <&vcc_mmc1_reg>;
83                                 vqmmc-supply = <&vcc_3v3_reg>;
84                                 status = "okay";
85                                 slot@0 {
86                                         reg = <0>;
87                                         bus-width = <4>;
88                                         cd-gpios = <&pioE 5 0>;
89                                 };
90                         };
92                         adc0: adc@fc034000 {
93                                 atmel,adc-ts-wires = <4>;
94                                 atmel,adc-ts-pressure-threshold = <10000>;
95                         };
98                         pinctrl@fc06a000 {
99                                 board {
100                                         pinctrl_mmc1_cd: mmc1_cd {
101                                                 atmel,pins = <AT91_PIOE 5 AT91_PERIPH_GPIO AT91_PINCTRL_PULL_UP_DEGLITCH>;
102                                         };
103                                         pinctrl_usba_vbus: usba_vbus {
104                                                 atmel,pins =
105                                                         <AT91_PIOE 31 AT91_PERIPH_GPIO AT91_PINCTRL_DEGLITCH>;
106                                         };
107                                 };
108                         };
109                 };
110         };
112         backlight: backlight {
113                 compatible = "pwm-backlight";
114                 pwms = <&hlcdc_pwm 0 50000 0>;
115                 brightness-levels = <0 4 8 16 32 64 128 255>;
116                 default-brightness-level = <6>;
117                 status = "okay";
118         };
120         leds {
121                 compatible = "gpio-leds";
122                 status = "okay";
124                 user1 {
125                         label = "user1";
126                         gpios = <&pioD 28 GPIO_ACTIVE_HIGH>;
127                         linux,default-trigger = "heartbeat";
128                 };
130                 user2 {
131                         label = "user2";
132                         gpios = <&pioD 29 GPIO_ACTIVE_HIGH>;
133                         linux,default-trigger = "heartbeat";
134                 };
136                 user3 {
137                         label = "user3";
138                         gpios = <&pioD 30 GPIO_ACTIVE_HIGH>;
139                         linux,default-trigger = "heartbeat";
140                 };
141         };
143         panel: panel {
144                 /* Actually Ampire 800480R2 */
145                 compatible = "foxlink,fl500wvr00-a0t", "simple-panel";
146                 backlight = <&backlight>;
147                 #address-cells = <1>;
148                 #size-cells = <0>;
149                 status = "okay";
151                 port@0 {
152                         #address-cells = <1>;
153                         #size-cells = <0>;
155                         panel_input: endpoint@0 {
156                                 reg = <0>;
157                                 remote-endpoint = <&hlcdc_panel_output>;
158                         };
159                 };
160         };
162         vcc_mmc1_reg: fixedregulator_mmc1 {
163                 compatible = "regulator-fixed";
164                 gpio = <&pioE 17 GPIO_ACTIVE_LOW>;
165                 regulator-name = "VDD MCI1";
166                 regulator-min-microvolt = <3300000>;
167                 regulator-max-microvolt = <3300000>;
168                 vin-supply = <&vcc_3v3_reg>;
169         };