mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / efm32gg-dk3750.dts
blobc9f3ea29cf9e51477f1454c398f5b48635f7bb34
1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * Device tree for EFM32GG-DK3750 development board.
4  *
5  * Documentation available from
6  * http://www.silabs.com/Support%20Documents/TechnicalDocs/efm32gg-dk3750-ug.pdf
7  */
9 /dts-v1/;
10 #include "efm32gg.dtsi"
12 / {
13         model = "Energy Micro Giant Gecko Development Kit";
14         compatible = "efm32,dk3750";
16         chosen {
17                 bootargs = "console=ttyefm4,115200 init=/linuxrc ignore_loglevel ihash_entries=64 dhash_entries=64 earlyprintk uclinux.physaddr=0x8c400000 root=/dev/mtdblock0";
18         };
20         memory@88000000 {
21                 device_type = "memory";
22                 reg = <0x88000000 0x400000>;
23         };
25         soc {
26                 adc@40002000 {
27                         status = "ok";
28                 };
30                 i2c@4000a000 {
31                         energymicro,location = <3>;
32                         status = "ok";
34                         temp@48 {
35                                 compatible = "st,stds75";
36                                 reg = <0x48>;
37                         };
39                         eeprom@50 {
40                                 compatible = "microchip,24c02";
41                                 reg = <0x50>;
42                                 pagesize = <16>;
43                         };
44                 };
46                 spi0: spi@4000c000 { /* USART0 */
47                         cs-gpios = <&gpio 68 1>; // E4
48                         energymicro,location = <1>;
49                         status = "ok";
51                         microsd@0 {
52                                 compatible = "mmc-spi-slot";
53                                 spi-max-frequency = <100000>;
54                                 voltage-ranges = <3200 3400>;
55                                 broken-cd;
56                                 reg = <0>;
57                         };
58                 };
60                 spi1: spi@4000c400 { /* USART1 */
61                         cs-gpios = <&gpio 51 1>; // D3
62                         energymicro,location = <1>;
63                         status = "ok";
65                         ks8851@0 {
66                                 compatible = "ks8851";
67                                 spi-max-frequency = <6000000>;
68                                 reg = <0>;
69                                 interrupt-parent = <&boardfpga>;
70                                 interrupts = <4>;
71                         };
72                 };
74                 uart4: uart@4000e400 { /* UART1 */
75                         energymicro,location = <2>;
76                         status = "ok";
77                 };
79                 boardfpga: boardfpga@80000000 {
80                         compatible = "efm32board";
81                         reg = <0x80000000 0x400>;
82                         irq-gpios = <&gpio 64 1>;
83                         interrupt-controller;
84                         #interrupt-cells = <1>;
85                         status = "ok";
86                 };
87         };