dt: bcm283x: Change BCM283x HDMI to use firmware clock driver

The clk-bcm2835 handling of the pixel clock does not function
correctly when the HDMI power domain is disabled.

The firmware supports it correctly, and the firmware clock
driver now supports it, so switch the vc4-hdmi driver to use
the firmware clock driver.

Signed-off-by: Dave Stevenson <dave.stevenson@raspberrypi.com>

diff --git a/arch/arm/boot/dts/bcm2835-common.dtsi b/arch/arm/boot/dts/bcm2835-common.dtsi
index 15f3975f1ca1830e2ef255b7ff794a3ae1838052..7f46a6ec512c1b5bcde067cb4e34c570502a984d 100644 (file)
--- a/arch/arm/boot/dts/bcm2835-common.dtsi
+++ b/arch/arm/boot/dts/bcm2835-common.dtsi
@@ -128,7 +128,7 @@
                                    "hd";
                        interrupts = <2 8>, <2 9>;
                        ddc = <&i2c2>;
-                       clocks = <&clocks BCM2835_PLLH_PIX>,
+                       clocks = <&firmware_clocks 9>,
                                 <&clocks BCM2835_CLOCK_HSM>;
                        clock-names = "pixel", "hdmi";
                        dmas = <&dma (17|(1<<27)|(1<<24))>;