mm: hugetlb: fix hugepage memory leak caused by wrong reserve count
[linux/fpc-iii.git] / arch / arm / boot / dts / exynos5260-xyref5260.dts
blob3daef94bee38c4fd9e7aac10ac6eca5da031e386
1 /*
2  * SAMSUNG XYREF5260 board device tree source
3  *
4  * Copyright (c) 2013 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.
12 /dts-v1/;
13 #include "exynos5260.dtsi"
15 / {
16         model = "SAMSUNG XYREF5260 board based on EXYNOS5260";
17         compatible = "samsung,xyref5260", "samsung,exynos5260", "samsung,exynos5";
19         memory {
20                 reg = <0x20000000 0x80000000>;
21         };
23         chosen {
24                 bootargs = "console=ttySAC2,115200";
25         };
27         fin_pll: xxti {
28                 compatible = "fixed-clock";
29                 clock-frequency = <24000000>;
30                 clock-output-names = "fin_pll";
31                 #clock-cells = <0>;
32         };
34         xrtcxti: xrtcxti {
35                 compatible = "fixed-clock";
36                 clock-frequency = <32768>;
37                 clock-output-names = "xrtcxti";
38                 #clock-cells = <0>;
39         };
42 &pinctrl_0 {
43         hdmi_hpd_irq: hdmi-hpd-irq {
44                 samsung,pins = "gpx3-7";
45                 samsung,pin-function = <0>;
46                 samsung,pin-pud = <1>;
47                 samsung,pin-drv = <0>;
48         };
51 &uart0 {
52         status = "okay";
55 &uart1 {
56         status = "okay";
59 &uart2 {
60         status = "okay";
63 &uart3 {
64         status = "okay";
67 &mmc_0 {
68         status = "okay";
69         num-slots = <1>;
70         broken-cd;
71         bypass-smu;
72         cap-mmc-highspeed;
73         supports-hs200-mode; /* 200 MHz */
74         card-detect-delay = <200>;
75         samsung,dw-mshc-ciu-div = <3>;
76         samsung,dw-mshc-sdr-timing = <0 4>;
77         samsung,dw-mshc-ddr-timing = <0 2>;
78         pinctrl-names = "default";
79         pinctrl-0 = <&sd0_rdqs &sd0_clk &sd0_cmd &sd0_bus1 &sd0_bus4 &sd0_bus8>;
80         bus-width = <8>;
83 &mmc_2 {
84         status = "okay";
85         num-slots = <1>;
86         cap-sd-highspeed;
87         card-detect-delay = <200>;
88         samsung,dw-mshc-ciu-div = <3>;
89         samsung,dw-mshc-sdr-timing = <2 3>;
90         samsung,dw-mshc-ddr-timing = <1 2>;
91         pinctrl-names = "default";
92         pinctrl-0 = <&sd2_clk &sd2_cmd &sd2_cd &sd2_bus1 &sd2_bus4>;
93         bus-width = <4>;
94         disable-wp;