|
@@ -61,4 +61,30 @@
|
|
|
};
|
|
|
};
|
|
|
|
|
|
+ pinctrl@13400000 {
|
|
|
+ hdmi_hpd_irq: hdmi-hpd-irq {
|
|
|
+ samsung,pins = "gpx3-7";
|
|
|
+ samsung,pin-function = <0>;
|
|
|
+ samsung,pin-pud = <1>;
|
|
|
+ samsung,pin-drv = <0>;
|
|
|
+ };
|
|
|
+ };
|
|
|
+
|
|
|
+ hdmi@14530000 {
|
|
|
+ status = "okay";
|
|
|
+ hpd-gpio = <&gpx3 7 0>;
|
|
|
+ pinctrl-names = "default";
|
|
|
+ pinctrl-0 = <&hdmi_hpd_irq>;
|
|
|
+ };
|
|
|
+
|
|
|
+ i2c_2: i2c@12C80000 {
|
|
|
+ samsung,i2c-sda-delay = <100>;
|
|
|
+ samsung,i2c-max-bus-freq = <66000>;
|
|
|
+ status = "okay";
|
|
|
+
|
|
|
+ hdmiddc@50 {
|
|
|
+ compatible = "samsung,exynos4210-hdmiddc";
|
|
|
+ reg = <0x50>;
|
|
|
+ };
|
|
|
+ };
|
|
|
};
|