ARM: KVM: vgic: take distributor lock on sync_hwstate path
[firefly-linux-kernel-4.4.55.git] / arch / arm / boot / dts / exynos5250-smdk5250.dts
1 /*
2  * SAMSUNG SMDK5250 board device tree source
3  *
4  * Copyright (c) 2012 Samsung Electronics Co., Ltd.
5  *              http://www.samsung.com
6  *
7  * This program is free software; you can redistribute it and/or modify
8  * it under the terms of the GNU General Public License version 2 as
9  * published by the Free Software Foundation.
10 */
11
12 /dts-v1/;
13 /include/ "exynos5250.dtsi"
14
15 / {
16         model = "SAMSUNG SMDK5250 board based on EXYNOS5250";
17         compatible = "samsung,smdk5250", "samsung,exynos5250";
18
19         aliases {
20         };
21
22         memory {
23                 reg = <0x40000000 0x80000000>;
24         };
25
26         chosen {
27                 bootargs = "root=/dev/ram0 rw ramdisk=8192 initrd=0x41000000,8M console=ttySAC2,115200 init=/linuxrc";
28         };
29
30         i2c@12C60000 {
31                 samsung,i2c-sda-delay = <100>;
32                 samsung,i2c-max-bus-freq = <20000>;
33                 gpios = <&gpb3 0 2 3 0>,
34                         <&gpb3 1 2 3 0>;
35
36                 eeprom@50 {
37                         compatible = "samsung,s524ad0xd1";
38                         reg = <0x50>;
39                 };
40         };
41
42         i2c@12C70000 {
43                 samsung,i2c-sda-delay = <100>;
44                 samsung,i2c-max-bus-freq = <20000>;
45                 gpios = <&gpb3 2 2 3 0>,
46                         <&gpb3 3 2 3 0>;
47
48                 eeprom@51 {
49                         compatible = "samsung,s524ad0xd1";
50                         reg = <0x51>;
51                 };
52
53                 wm8994: wm8994@1a {
54                          compatible = "wlf,wm8994";
55                          reg = <0x1a>;
56                 };
57         };
58
59         i2c@121D0000 {
60                 samsung,i2c-sda-delay = <100>;
61                 samsung,i2c-max-bus-freq = <40000>;
62                 samsung,i2c-slave-addr = <0x38>;
63
64                 sata-phy {
65                         compatible = "samsung,sata-phy";
66                         reg = <0x38>;
67                 };
68         };
69
70         sata@122F0000 {
71                 samsung,sata-freq = <66>;
72         };
73
74         i2c@12C80000 {
75                 samsung,i2c-sda-delay = <100>;
76                 samsung,i2c-max-bus-freq = <66000>;
77                 gpios = <&gpa0 6 3 3 0>,
78                         <&gpa0 7 3 3 0>;
79
80                 hdmiddc@50 {
81                         compatible = "samsung,exynos5-hdmiddc";
82                         reg = <0x50>;
83                 };
84         };
85
86         i2c@12C90000 {
87                 status = "disabled";
88         };
89
90         i2c@12CA0000 {
91                 status = "disabled";
92         };
93
94         i2c@12CB0000 {
95                 status = "disabled";
96         };
97
98         i2c@12CC0000 {
99                 status = "disabled";
100         };
101
102         i2c@12CD0000 {
103                 status = "disabled";
104         };
105
106         i2c@12CE0000 {
107                 samsung,i2c-sda-delay = <100>;
108                 samsung,i2c-max-bus-freq = <66000>;
109
110                 hdmiphy@38 {
111                         compatible = "samsung,exynos5-hdmiphy";
112                         reg = <0x38>;
113                 };
114         };
115
116         dwmmc0@12200000 {
117                 num-slots = <1>;
118                 supports-highspeed;
119                 broken-cd;
120                 fifo-depth = <0x80>;
121                 card-detect-delay = <200>;
122                 samsung,dw-mshc-ciu-div = <3>;
123                 samsung,dw-mshc-sdr-timing = <2 3>;
124                 samsung,dw-mshc-ddr-timing = <1 2>;
125
126                 slot@0 {
127                         reg = <0>;
128                         bus-width = <8>;
129                         gpios = <&gpc0 0 2 0 3>, <&gpc0 1 2 0 3>,
130                                 <&gpc1 0 2 3 3>, <&gpc1 1 2 3 3>,
131                                 <&gpc1 2 2 3 3>, <&gpc1 3 2 3 3>,
132                                 <&gpc0 3 2 3 3>, <&gpc0 4 2 3 3>,
133                                 <&gpc0 5 2 3 3>, <&gpc0 6 2 3 3>;
134                 };
135         };
136
137         dwmmc1@12210000 {
138                 status = "disabled";
139         };
140
141         dwmmc2@12220000 {
142                 num-slots = <1>;
143                 supports-highspeed;
144                 fifo-depth = <0x80>;
145                 card-detect-delay = <200>;
146                 samsung,dw-mshc-ciu-div = <3>;
147                 samsung,dw-mshc-sdr-timing = <2 3>;
148                 samsung,dw-mshc-ddr-timing = <1 2>;
149
150                 slot@0 {
151                         reg = <0>;
152                         bus-width = <4>;
153                         samsung,cd-pinmux-gpio = <&gpc3 2 2 3 3>;
154                         gpios = <&gpc3 0 2 0 3>, <&gpc3 1 2 0 3>,
155                                 <&gpc3 3 2 3 3>, <&gpc3 4 2 3 3>,
156                                 <&gpc3 5 2 3 3>, <&gpc3 6 2 3 3>,
157                                 <&gpc4 3 3 3 3>, <&gpc4 3 3 3 3>,
158                                 <&gpc4 5 3 3 3>, <&gpc4 6 3 3 3>;
159                 };
160         };
161
162         dwmmc3@12230000 {
163                 status = "disabled";
164         };
165
166         spi_0: spi@12d20000 {
167                 status = "disabled";
168         };
169
170         spi_1: spi@12d30000 {
171                 gpios = <&gpa2 4 2 3 0>,
172                         <&gpa2 6 2 3 0>,
173                         <&gpa2 7 2 3 0>;
174
175                 w25q80bw@0 {
176                         #address-cells = <1>;
177                         #size-cells = <1>;
178                         compatible = "w25x80";
179                         reg = <0>;
180                         spi-max-frequency = <1000000>;
181
182                         controller-data {
183                                 cs-gpio = <&gpa2 5 1 0 3>;
184                                 samsung,spi-feedback-delay = <0>;
185                         };
186
187                         partition@0 {
188                                 label = "U-Boot";
189                                 reg = <0x0 0x40000>;
190                                 read-only;
191                         };
192
193                         partition@40000 {
194                                 label = "Kernel";
195                                 reg = <0x40000 0xc0000>;
196                         };
197                 };
198         };
199
200         spi_2: spi@12d40000 {
201                 status = "disabled";
202         };
203
204         hdmi {
205                 hpd-gpio = <&gpx3 7 0xf 1 3>;
206         };
207
208         codec@11000000 {
209                 samsung,mfc-r = <0x43000000 0x800000>;
210                 samsung,mfc-l = <0x51000000 0x800000>;
211         };
212
213         i2s0: i2s@03830000 {
214                 gpios = <&gpz 0 2 0 0>, <&gpz 1 2 0 0>, <&gpz 2 2 0 0>,
215                         <&gpz 3 2 0 0>, <&gpz 4 2 0 0>, <&gpz 5 2 0 0>,
216                         <&gpz 6 2 0 0>;
217         };
218
219         i2s1: i2s@12D60000 {
220                 status = "disabled";
221         };
222
223         i2s2: i2s@12D70000 {
224                 status = "disabled";
225         };
226
227         sound {
228                 compatible = "samsung,smdk-wm8994";
229
230                 samsung,i2s-controller = <&i2s0>;
231                 samsung,audio-codec = <&wm8994>;
232         };
233 };