kernel/arch/arm/boot/dts/rk3288.dtsi
.. .. @@ -1649,7 +1649,8 @@ 1649 1649 reg-io-width = <4>; 1650 1650 #sound-dai-cells = <0>; 1651 1651 rockchip,grf = <&grf>; 1652 - interrupts = <GIC_SPI 103 IRQ_TYPE_LEVEL_HIGH>;1652 + interrupts = <GIC_SPI 103 IRQ_TYPE_LEVEL_HIGH>, <GIC_SPI 102 IRQ_TYPE_LEVEL_HIGH>;1653 + interrupt-names = "hdmi", "hdmi_wakeup";1653 1654 clocks = <&cru PCLK_HDMI_CTRL>, <&cru SCLK_HDMI_HDCP>, <&cru SCLK_HDMI_CEC>; 1654 1655 clock-names = "iahb", "isfr", "cec"; 1655 1656 pinctrl-names = "default", "sleep";