mm: hugetlb: fix hugepage memory leak caused by wrong reserve count
[linux/fpc-iii.git] / arch / arm / boot / dts / exynos4412-odroidx.dts
blobb44bb682e976705aa23824f421c7cdf419d92151
1 /*
2  * Hardkernel's Exynos4412 based ODROID-X board device tree source
3  *
4  * Copyright (c) 2012 Dongjin Kim <tobetter@gmail.com>
5  *
6  * Device tree source file for Hardkernel's ODROID-X board which is based
7  * on Samsung's Exynos4412 SoC.
8  *
9  * This program is free software; you can redistribute it and/or modify
10  * it under the terms of the GNU General Public License version 2 as
11  * published by the Free Software Foundation.
14 /dts-v1/;
15 #include "exynos4412-odroid-common.dtsi"
17 / {
18         model = "Hardkernel ODROID-X board based on Exynos4412";
19         compatible = "hardkernel,odroid-x", "samsung,exynos4412", "samsung,exynos4";
21         memory {
22                 reg = <0x40000000 0x3FF00000>;
23         };
25         leds {
26                 compatible = "gpio-leds";
27                 led1 {
28                         label = "led1:heart";
29                         gpios = <&gpc1 0 GPIO_ACTIVE_LOW>;
30                         default-state = "on";
31                         linux,default-trigger = "heartbeat";
32                 };
33                 led2 {
34                         label = "led2:mmc0";
35                         gpios = <&gpc1 2 GPIO_ACTIVE_LOW>;
36                         default-state = "on";
37                         linux,default-trigger = "mmc0";
38                 };
39         };
41         gpio_keys {
42                 pinctrl-0 = <&gpio_power_key &gpio_home_key>;
44                 home_key {
45                         interrupt-parent = <&gpx2>;
46                         interrupts = <2 0>;
47                         gpios = <&gpx2 2 GPIO_ACTIVE_HIGH>;
48                         linux,code = <KEY_HOME>;
49                         label = "home key";
50                         debounce-interval = <10>;
51                         gpio-key,wakeup;
52                 };
53         };
55         regulator_p3v3 {
56                 compatible = "regulator-fixed";
57                 regulator-name = "p3v3_en";
58                 regulator-min-microvolt = <3300000>;
59                 regulator-max-microvolt = <3300000>;
60                 gpio = <&gpa1 1 GPIO_ACTIVE_LOW>;
61                 enable-active-high;
62                 regulator-always-on;
63         };
66 &ehci {
67         port@1 {
68                 status = "okay";
69         };
72 &pinctrl_1 {
73         gpio_home_key: home_key {
74                 samsung,pins = "gpx2-2";
75                 samsung,pin-pud = <0>;
76         };
79 &serial_2 {
80         status = "okay";
83 &serial_3 {
84         status = "okay";