mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / bcm2835-rpi-b-rev2.dts
blob3178a56649425a472e4eb6367bb8c343727c048e
1 // SPDX-License-Identifier: GPL-2.0
2 /dts-v1/;
3 #include "bcm2835.dtsi"
4 #include "bcm2835-rpi.dtsi"
5 #include "bcm283x-rpi-smsc9512.dtsi"
6 #include "bcm283x-rpi-usb-host.dtsi"
8 / {
9         compatible = "raspberrypi,model-b-rev2", "brcm,bcm2835";
10         model = "Raspberry Pi Model B rev2";
12         leds {
13                 act {
14                         gpios = <&gpio 16 1>;
15                 };
16         };
19 &gpio {
20         /*
21          * Taken from Raspberry-Pi-Rev-2.0-Model-AB-Schematics.pdf
22          * RPI00022 sheet 02
23          *
24          * Legend:
25          * "NC" = not connected (no rail from the SoC)
26          * "FOO" = GPIO line named "FOO" on the schematic
27          * "FOO_N" = GPIO line named "FOO" on schematic, active low
28          */
29         gpio-line-names = "SDA0",
30                           "SCL0",
31                           "SDA1",
32                           "SCL1",
33                           "GPIO_GCLK",
34                           "CAM_CLK",
35                           "LAN_RUN",
36                           "SPI_CE1_N",
37                           "SPI_CE0_N",
38                           "SPI_MISO",
39                           "SPI_MOSI",
40                           "SPI_SCLK",
41                           "NC", /* GPIO12 */
42                           "NC", /* GPIO13 */
43                           /* Serial port */
44                           "TXD0",
45                           "RXD0",
46                           "STATUS_LED_N",
47                           "GPIO17",
48                           "GPIO18",
49                           "NC", /* GPIO19 */
50                           "NC", /* GPIO20 */
51                           "CAM_GPIO",
52                           "GPIO22",
53                           "GPIO23",
54                           "GPIO24",
55                           "GPIO25",
56                           "NC", /* GPIO26 */
57                           "GPIO27",
58                           "GPIO28",
59                           "GPIO29",
60                           "GPIO30",
61                           "GPIO31",
62                           "NC", /* GPIO32 */
63                           "NC", /* GPIO33 */
64                           "NC", /* GPIO34 */
65                           "NC", /* GPIO35 */
66                           "NC", /* GPIO36 */
67                           "NC", /* GPIO37 */
68                           "NC", /* GPIO38 */
69                           "NC", /* GPIO39 */
70                           "PWM0_OUT",
71                           "NC", /* GPIO41 */
72                           "NC", /* GPIO42 */
73                           "NC", /* GPIO43 */
74                           "NC", /* GPIO44 */
75                           "PWM1_OUT",
76                           "HDMI_HPD_P",
77                           "SD_CARD_DET",
78                           /* Used by SD Card */
79                           "SD_CLK_R",
80                           "SD_CMD_R",
81                           "SD_DATA0_R",
82                           "SD_DATA1_R",
83                           "SD_DATA2_R",
84                           "SD_DATA3_R";
86         pinctrl-0 = <&gpioout &alt0 &i2s_alt2>;
88         /* I2S interface */
89         i2s_alt2: i2s_alt2 {
90                 brcm,pins = <28 29 30 31>;
91                 brcm,function = <BCM2835_FSEL_ALT2>;
92         };
95 &hdmi {
96         hpd-gpios = <&gpio 46 GPIO_ACTIVE_HIGH>;
99 &uart0 {
100         pinctrl-names = "default";
101         pinctrl-0 = <&uart0_gpio14>;
102         status = "okay";