kernel/arch/arm64/boot/dts/rockchip/rk3328.dtsi
.. .. @@ -1006,6 +1006,7 @@ 1006 1006 reg-io-width = <4>; 1007 1007 interrupts = <GIC_SPI 35 IRQ_TYPE_LEVEL_HIGH>, 1008 1008 <GIC_SPI 71 IRQ_TYPE_LEVEL_HIGH>; 1009 + interrupt-names = "hdmi", "hdmi_wakeup";1009 1010 clocks = <&cru PCLK_HDMI>, 1010 1011 <&cru SCLK_HDMI_SFC>, 1011 1012 <&cru SCLK_RTC32K>,