mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / bcm4709-tplink-archer-c9-v1.dts
blobec4a50e440f6bc4e831be87c2c5b848070925d26
1 /*
2  * Copyright (C) 2016 Rafał Miłecki <rafal@milecki.pl>
3  *
4  * Licensed under the ISC license.
5  */
7 /dts-v1/;
9 #include "bcm4709.dtsi"
11 / {
12         compatible = "tplink,archer-c9-v1", "brcm,bcm4709", "brcm,bcm4708";
13         model = "TP-LINK Archer C9 V1";
15         chosen {
16                 bootargs = "console=ttyS0,115200 earlycon";
17         };
19         memory {
20                 reg = <0x00000000 0x08000000>;
21         };
23         leds {
24                 compatible = "gpio-leds";
26                 lan {
27                         label = "bcm53xx:blue:lan";
28                         gpios = <&chipcommon 1 GPIO_ACTIVE_HIGH>;
29                 };
31                 wps {
32                         label = "bcm53xx:blue:wps";
33                         gpios = <&chipcommon 2 GPIO_ACTIVE_HIGH>;
34                 };
36                 2ghz {
37                         label = "bcm53xx:blue:2ghz";
38                         gpios = <&chipcommon 4 GPIO_ACTIVE_HIGH>;
39                 };
41                 5ghz {
42                         label = "bcm53xx:blue:5ghz";
43                         gpios = <&chipcommon 5 GPIO_ACTIVE_HIGH>;
44                 };
46                 usb3 {
47                         label = "bcm53xx:blue:usb3";
48                         gpios = <&chipcommon 6 GPIO_ACTIVE_HIGH>;
49                         trigger-sources = <&ohci_port1>, <&ehci_port1>,
50                                           <&xhci_port1>;
51                         linux,default-trigger = "usbport";
52                 };
54                 usb2 {
55                         label = "bcm53xx:blue:usb2";
56                         gpios = <&chipcommon 7 GPIO_ACTIVE_HIGH>;
57                         trigger-sources = <&ohci_port2>, <&ehci_port2>;
58                         linux,default-trigger = "usbport";
59                 };
61                 wan-blue {
62                         label = "bcm53xx:blue:wan";
63                         gpios = <&chipcommon 14 GPIO_ACTIVE_HIGH>;
64                 };
66                 wan-amber {
67                         label = "bcm53xx:amber:wan";
68                         gpios = <&chipcommon 15 GPIO_ACTIVE_HIGH>;
69                 };
71                 power {
72                         label = "bcm53xx:blue:power";
73                         gpios = <&chipcommon 18 GPIO_ACTIVE_LOW>;
74                         linux,default-trigger = "default-on";
75                 };
76         };
78         gpio-keys {
79                 compatible = "gpio-keys";
80                 #address-cells = <1>;
81                 #size-cells = <0>;
83                 wps {
84                         label = "WPS";
85                         linux,code = <KEY_WPS_BUTTON>;
86                         gpios = <&chipcommon 0 GPIO_ACTIVE_LOW>;
87                 };
89                 restart {
90                         label = "Reset";
91                         linux,code = <KEY_RESTART>;
92                         gpios = <&chipcommon 3 GPIO_ACTIVE_LOW>;
93                 };
94         };
97 &usb2 {
98         vcc-gpio = <&chipcommon 13 GPIO_ACTIVE_HIGH>;
101 &usb3 {
102         vcc-gpio = <&chipcommon 12 GPIO_ACTIVE_HIGH>;
105 &spi_nor {
106         status = "okay";