mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / am571x-idk.dts
blob96a4df4109d75f6803fdf6907a1f6ec6980c5eaa
1 /*
2  * Copyright (C) 2015-2016 Texas Instruments Incorporated - http://www.ti.com/
3  *
4  * This program is free software; you can redistribute it and/or modify
5  * it under the terms of the GNU General Public License version 2 as
6  * published by the Free Software Foundation.
7  */
8 /dts-v1/;
10 #include "dra72x.dtsi"
11 #include <dt-bindings/gpio/gpio.h>
12 #include <dt-bindings/interrupt-controller/irq.h>
13 #include "am57xx-idk-common.dtsi"
14 #include "dra72x-mmc-iodelay.dtsi"
16 / {
17         model = "TI AM5718 IDK";
18         compatible = "ti,am5718-idk", "ti,am5718", "ti,dra7";
20         memory@80000000 {
21                 device_type = "memory";
22                 reg = <0x0 0x80000000 0x0 0x40000000>;
23         };
25         leds {
26                 compatible = "gpio-leds";
27                 cpu0-led {
28                         label = "status0:red:cpu0";
29                         gpios = <&gpio2 25 GPIO_ACTIVE_HIGH>;
30                         default-state = "off";
31                         linux,default-trigger = "cpu0";
32                 };
34                 usr0-led {
35                         label = "status0:green:usr";
36                         gpios = <&gpio2 26 GPIO_ACTIVE_HIGH>;
37                         default-state = "off";
38                 };
40                 heartbeat-led {
41                         label = "status0:blue:heartbeat";
42                         gpios = <&gpio2 27 GPIO_ACTIVE_HIGH>;
43                         default-state = "off";
44                         linux,default-trigger = "heartbeat";
45                 };
47                 usr1-led {
48                         label = "status1:red:usr";
49                         gpios = <&gpio2 28 GPIO_ACTIVE_HIGH>;
50                         default-state = "off";
51                 };
53                 usr2-led {
54                         label = "status1:green:usr";
55                         gpios = <&gpio2 21 GPIO_ACTIVE_HIGH>;
56                         default-state = "off";
57                 };
59                 mmc0-led {
60                         label = "status1:blue:mmc0";
61                         gpios = <&gpio2 19 GPIO_ACTIVE_HIGH>;
62                         default-state = "off";
63                         linux,default-trigger = "mmc0";
64                 };
65         };
68 &omap_dwc3_2 {
69         extcon = <&extcon_usb2>;
72 &extcon_usb2 {
73         id-gpio = <&gpio5 7 GPIO_ACTIVE_HIGH>;
74         vbus-gpio = <&gpio7 22 GPIO_ACTIVE_HIGH>;
77 &mailbox5 {
78         status = "okay";
79         mbox_ipu1_ipc3x: mbox_ipu1_ipc3x {
80                 status = "okay";
81         };
82         mbox_dsp1_ipc3x: mbox_dsp1_ipc3x {
83                 status = "okay";
84         };
87 &mailbox6 {
88         status = "okay";
89         mbox_ipu2_ipc3x: mbox_ipu2_ipc3x {
90                 status = "okay";
91         };
94 &pcie1_rc {
95         status = "okay";
96         gpios = <&gpio5 18 GPIO_ACTIVE_HIGH>;
99 &pcie1_ep {
100         gpios = <&gpio3 23 GPIO_ACTIVE_HIGH>;
103 &mmc1 {
104         pinctrl-names = "default", "hs", "sdr12", "sdr25", "sdr50", "ddr50", "sdr104";
105         pinctrl-0 = <&mmc1_pins_default>;
106         pinctrl-1 = <&mmc1_pins_hs>;
107         pinctrl-2 = <&mmc1_pins_sdr12>;
108         pinctrl-3 = <&mmc1_pins_sdr25>;
109         pinctrl-4 = <&mmc1_pins_sdr50>;
110         pinctrl-5 = <&mmc1_pins_ddr50_rev20 &mmc1_iodelay_ddr50_conf>;
111         pinctrl-6 = <&mmc1_pins_sdr104 &mmc1_iodelay_sdr104_rev20_conf>;
114 &mmc2 {
115         pinctrl-names = "default", "hs", "ddr_1_8v";
116         pinctrl-0 = <&mmc2_pins_default>;
117         pinctrl-1 = <&mmc2_pins_hs>;
118         pinctrl-2 = <&mmc2_pins_ddr_rev20 &mmc2_iodelay_ddr_conf>;