mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / exynos5250-smdk5250.dts
blob062cba4c2c310b28846634d354b10fe4d07e786c
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  */
12 /dts-v1/;
13 #include <dt-bindings/gpio/gpio.h>
14 #include <dt-bindings/interrupt-controller/irq.h>
15 #include "exynos5250.dtsi"
17 / {
18         model = "SAMSUNG SMDK5250 board based on EXYNOS5250";
19         compatible = "samsung,smdk5250", "samsung,exynos5250", "samsung,exynos5";
21         aliases {
22         };
24         memory@40000000 {
25                 device_type = "memory";
26                 reg = <0x40000000 0x80000000>;
27         };
29         chosen {
30                 bootargs = "root=/dev/ram0 rw ramdisk=8192 initrd=0x41000000,8M console=ttySAC2,115200 init=/linuxrc";
31         };
33         vdd: fixed-regulator-vdd {
34                 compatible = "regulator-fixed";
35                 regulator-name = "vdd-supply";
36                 regulator-min-microvolt = <1800000>;
37                 regulator-max-microvolt = <1800000>;
38                 regulator-always-on;
39         };
41         dbvdd: fixed-regulator-dbvdd {
42                 compatible = "regulator-fixed";
43                 regulator-name = "dbvdd-supply";
44                 regulator-min-microvolt = <3300000>;
45                 regulator-max-microvolt = <3300000>;
46                 regulator-always-on;
47         };
49         spkvdd: fixed-regulator-spkvdd {
50                 compatible = "regulator-fixed";
51                 regulator-name = "spkvdd-supply";
52                 regulator-min-microvolt = <5000000>;
53                 regulator-max-microvolt = <5000000>;
54                 regulator-always-on;
55         };
57         sound {
58                 compatible = "samsung,smdk-wm8994";
60                 samsung,i2s-controller = <&i2s0>;
61                 samsung,audio-codec = <&wm8994>;
62         };
64         fixed-rate-clocks {
65                 xxti {
66                         compatible = "samsung,clock-xxti";
67                         clock-frequency = <24000000>;
68                 };
70                 codec_mclk: codec-mclk {
71                         compatible = "fixed-clock";
72                         #clock-cells = <0>;
73                         clock-frequency = <16934000>;
74                 };
75         };
78 &cpu0 {
79         cpu0-supply = <&buck2_reg>;
82 &dp {
83         samsung,color-space = <0>;
84         samsung,color-depth = <1>;
85         samsung,link-rate = <0x0a>;
86         samsung,lane-count = <4>;
88         pinctrl-names = "default";
89         pinctrl-0 = <&dp_hpd>;
90         status = "okay";
92         display-timings {
93                 native-mode = <&timing0>;
95                 timing0: timing {
96                         /* 1280x800 */
97                         clock-frequency = <50000>;
98                         hactive = <1280>;
99                         vactive = <800>;
100                         hfront-porch = <4>;
101                         hback-porch = <4>;
102                         hsync-len = <4>;
103                         vback-porch = <4>;
104                         vfront-porch = <4>;
105                         vsync-len = <4>;
106                 };
107         };
110 &ehci {
111         samsung,vbus-gpio = <&gpx2 6 GPIO_ACTIVE_HIGH>;
114 &fimd {
115         status = "okay";
118 &hdmi {
119         hpd-gpios = <&gpx3 7 GPIO_ACTIVE_HIGH>;
122 &i2c_0 {
123         status = "okay";
124         samsung,i2c-sda-delay = <100>;
125         samsung,i2c-max-bus-freq = <20000>;
127         eeprom@50 {
128                 compatible = "samsung,s524ad0xd1";
129                 reg = <0x50>;
130         };
132         max77686@09 {
133                 compatible = "maxim,max77686";
134                 reg = <0x09>;
135                 interrupt-parent = <&gpx3>;
136                 interrupts = <2 IRQ_TYPE_NONE>;
137                 pinctrl-names = "default";
138                 pinctrl-0 = <&max77686_irq>;
139                 wakeup-source;
141                 voltage-regulators {
142                         ldo1_reg: LDO1 {
143                                 regulator-name = "P1.0V_LDO_OUT1";
144                                 regulator-min-microvolt = <1000000>;
145                                 regulator-max-microvolt = <1000000>;
146                                 regulator-always-on;
147                         };
149                         ldo2_reg: LDO2 {
150                                 regulator-name = "P1.2V_LDO_OUT2";
151                                 regulator-min-microvolt = <1200000>;
152                                 regulator-max-microvolt = <1200000>;
153                                 regulator-always-on;
154                         };
156                         ldo3_reg: LDO3 {
157                                 regulator-name = "P1.8V_LDO_OUT3";
158                                 regulator-min-microvolt = <1800000>;
159                                 regulator-max-microvolt = <1800000>;
160                                 regulator-always-on;
161                         };
163                         ldo4_reg: LDO4 {
164                                 regulator-name = "P2.8V_LDO_OUT4";
165                                 regulator-min-microvolt = <2800000>;
166                                 regulator-max-microvolt = <2800000>;
167                         };
169                         ldo5_reg: LDO5 {
170                                 regulator-name = "P1.8V_LDO_OUT5";
171                                 regulator-min-microvolt = <1800000>;
172                                 regulator-max-microvolt = <1800000>;
173                         };
175                         ldo6_reg: LDO6 {
176                                 regulator-name = "P1.1V_LDO_OUT6";
177                                 regulator-min-microvolt = <1100000>;
178                                 regulator-max-microvolt = <1100000>;
179                                 regulator-always-on;
180                         };
182                         ldo7_reg: LDO7 {
183                                 regulator-name = "P1.1V_LDO_OUT7";
184                                 regulator-min-microvolt = <1100000>;
185                                 regulator-max-microvolt = <1100000>;
186                                 regulator-always-on;
187                         };
189                         ldo8_reg: LDO8 {
190                                 regulator-name = "P1.0V_LDO_OUT8";
191                                 regulator-min-microvolt = <1000000>;
192                                 regulator-max-microvolt = <1000000>;
193                         };
195                         ldo10_reg: LDO10 {
196                                 regulator-name = "P1.8V_LDO_OUT10";
197                                 regulator-min-microvolt = <1800000>;
198                                 regulator-max-microvolt = <1800000>;
199                                 regulator-always-on;
200                         };
202                         ldo11_reg: LDO11 {
203                                 regulator-name = "P1.8V_LDO_OUT11";
204                                 regulator-min-microvolt = <1800000>;
205                                 regulator-max-microvolt = <1800000>;
206                         };
208                         ldo12_reg: LDO12 {
209                                 regulator-name = "P3.0V_LDO_OUT12";
210                                 regulator-min-microvolt = <3000000>;
211                                 regulator-max-microvolt = <3000000>;
212                         };
214                         ldo13_reg: LDO13 {
215                                 regulator-name = "P1.8V_LDO_OUT13";
216                                 regulator-min-microvolt = <1800000>;
217                                 regulator-max-microvolt = <1800000>;
218                         };
220                         ldo14_reg: LDO14 {
221                                 regulator-name = "P1.8V_LDO_OUT14";
222                                 regulator-min-microvolt = <1800000>;
223                                 regulator-max-microvolt = <1800000>;
224                         };
226                         ldo15_reg: LDO15 {
227                                 regulator-name = "P1.0V_LDO_OUT15";
228                                 regulator-min-microvolt = <1000000>;
229                                 regulator-max-microvolt = <1000000>;
230                         };
232                         ldo16_reg: LDO16 {
233                                 regulator-name = "P1.8V_LDO_OUT16";
234                                 regulator-min-microvolt = <1800000>;
235                                 regulator-max-microvolt = <1800000>;
236                         };
238                         buck1_reg: BUCK1 {
239                                 regulator-name = "vdd_mif";
240                                 regulator-min-microvolt = <950000>;
241                                 regulator-max-microvolt = <1300000>;
242                                 regulator-always-on;
243                                 regulator-boot-on;
244                         };
246                         buck2_reg: BUCK2 {
247                                 regulator-name = "vdd_arm";
248                                 regulator-min-microvolt = <850000>;
249                                 regulator-max-microvolt = <1350000>;
250                                 regulator-always-on;
251                                 regulator-boot-on;
252                         };
254                         buck3_reg: BUCK3 {
255                                 regulator-name = "vdd_int";
256                                 regulator-min-microvolt = <900000>;
257                                 regulator-max-microvolt = <1200000>;
258                                 regulator-always-on;
259                                 regulator-boot-on;
260                         };
262                         buck4_reg: BUCK4 {
263                                 regulator-name = "vdd_g3d";
264                                 regulator-min-microvolt = <850000>;
265                                 regulator-max-microvolt = <1300000>;
266                                 regulator-always-on;
267                                 regulator-boot-on;
268                         };
270                         buck5_reg: BUCK5 {
271                                 regulator-name = "P1.8V_BUCK_OUT5";
272                                 regulator-min-microvolt = <1800000>;
273                                 regulator-max-microvolt = <1800000>;
274                                 regulator-always-on;
275                                 regulator-boot-on;
276                         };
277                 };
278         };
281 &i2c_1 {
282         status = "okay";
283         samsung,i2c-sda-delay = <100>;
284         samsung,i2c-max-bus-freq = <20000>;
286         eeprom@51 {
287                 compatible = "samsung,s524ad0xd1";
288                 reg = <0x51>;
289         };
291         wm8994: wm8994@1a {
292                 compatible = "wlf,wm8994";
293                 reg = <0x1a>;
295                 gpio-controller;
296                 #gpio-cells = <2>;
298                 clocks = <&codec_mclk>;
299                 clock-names = "MCLK1";
301                 AVDD2-supply = <&vdd>;
302                 CPVDD-supply = <&vdd>;
303                 DBVDD-supply = <&dbvdd>;
304                 SPKVDD1-supply = <&spkvdd>;
305                 SPKVDD2-supply = <&spkvdd>;
306         };
309 &i2c_2 {
310         status = "okay";
311         samsung,i2c-sda-delay = <100>;
312         samsung,i2c-max-bus-freq = <66000>;
314         hdmiddc@50 {
315                 compatible = "samsung,exynos4210-hdmiddc";
316                 reg = <0x50>;
317         };
320 &i2c_8 {
321         status = "okay";
322         samsung,i2c-sda-delay = <100>;
323         samsung,i2c-max-bus-freq = <66000>;
325         hdmiphy@38 {
326                 compatible = "samsung,exynos4212-hdmiphy";
327                 reg = <0x38>;
328         };
331 &i2c_9 {
332         status = "okay";
333         samsung,i2c-sda-delay = <100>;
334         samsung,i2c-max-bus-freq = <40000>;
335         samsung,i2c-slave-addr = <0x38>;
337         sata_phy_i2c: sata-phy@38 {
338                 compatible = "samsung,exynos-sataphy-i2c";
339                 reg = <0x38>;
340         };
343 &i2s0 {
344         status = "okay";
347 &mmc_0 {
348         status = "okay";
349         broken-cd;
350         card-detect-delay = <200>;
351         samsung,dw-mshc-ciu-div = <3>;
352         samsung,dw-mshc-sdr-timing = <2 3>;
353         samsung,dw-mshc-ddr-timing = <1 2>;
354         pinctrl-names = "default";
355         pinctrl-0 = <&sd0_clk &sd0_cmd &sd0_bus4 &sd0_bus8>;
356         bus-width = <8>;
357         cap-mmc-highspeed;
360 &mmc_2 {
361         status = "okay";
362         card-detect-delay = <200>;
363         samsung,dw-mshc-ciu-div = <3>;
364         samsung,dw-mshc-sdr-timing = <2 3>;
365         samsung,dw-mshc-ddr-timing = <1 2>;
366         pinctrl-names = "default";
367         pinctrl-0 = <&sd2_clk &sd2_cmd &sd2_cd &sd2_bus4>;
368         bus-width = <4>;
369         disable-wp;
370         cap-sd-highspeed;
373 &rtc {
374         status = "okay";
377 &sata {
378         status = "okay";
381 &sata_phy {
382         status = "okay";
383         samsung,exynos-sataphy-i2c-phandle = <&sata_phy_i2c>;
386 &spi_1 {
387         status = "okay";
388         cs-gpios = <&gpa2 5 GPIO_ACTIVE_HIGH>;
390         w25q80bw@0 {
391                 #address-cells = <1>;
392                 #size-cells = <1>;
393                 compatible = "w25x80";
394                 reg = <0>;
395                 spi-max-frequency = <1000000>;
397                 controller-data {
398                         samsung,spi-feedback-delay = <0>;
399                 };
401                 partition@0 {
402                         label = "U-Boot";
403                         reg = <0x0 0x40000>;
404                         read-only;
405                 };
407                 partition@40000 {
408                         label = "Kernel";
409                         reg = <0x40000 0xc0000>;
410                 };
411         };
414 &pinctrl_0 {
415         max77686_irq: max77686-irq {
416                 samsung,pins = "gpx3-2";
417                 samsung,pin-function = <EXYNOS_PIN_FUNC_F>;
418                 samsung,pin-pud = <EXYNOS_PIN_PULL_NONE>;
419                 samsung,pin-drv = <EXYNOS4_PIN_DRV_LV1>;
420         };