1 Broadcom VC4 (VideoCore4) GPU
3 The VC4 device present on the Raspberry Pi includes a display system
4 with HDMI output and the HVS (Hardware Video Scaler) for compositing
7 Required properties for VC4:
8 - compatible: Should be "brcm,bcm2835-vc4"
10 Required properties for Pixel Valve:
11 - compatible: Should be one of "brcm,bcm2835-pixelvalve0",
12 "brcm,bcm2835-pixelvalve1", or "brcm,bcm2835-pixelvalve2"
13 - reg: Physical base address and length of the PV's registers
14 - interrupts: The interrupt number
15 See bindings/interrupt-controller/brcm,bcm2835-armctrl-ic.txt
17 Required properties for HVS:
18 - compatible: Should be "brcm,bcm2835-hvs"
19 - reg: Physical base address and length of the HVS's registers
20 - interrupts: The interrupt number
21 See bindings/interrupt-controller/brcm,bcm2835-armctrl-ic.txt
23 Required properties for HDMI
24 - compatible: Should be "brcm,bcm2835-hdmi"
25 - reg: Physical base address and length of the two register ranges
26 ("HDMI" and "HD", in that order)
27 - interrupts: The interrupt numbers
28 See bindings/interrupt-controller/brcm,bcm2835-armctrl-ic.txt
29 - ddc: phandle of the I2C controller used for DDC EDID probing
30 - clocks: a) hdmi: The HDMI state machine clock
31 b) pixel: The pixel clock.
33 Optional properties for HDMI:
34 - hpd-gpios: The GPIO pin for HDMI hotplug detect (if it doesn't appear
35 as an interrupt/status bit in the HDMI controller
36 itself). See bindings/pinctrl/brcm,bcm2835-gpio.txt
38 Required properties for V3D:
39 - compatible: Should be "brcm,bcm2835-v3d"
40 - reg: Physical base address and length of the V3D's registers
41 - interrupts: The interrupt number
42 See bindings/interrupt-controller/brcm,bcm2835-armctrl-ic.txt
46 compatible = "brcm,bcm2835-pixelvalve2";
47 reg = <0x7e807000 0x100>;
48 interrupts = <2 10>; /* pixelvalve */
52 compatible = "brcm,bcm2835-hvs";
53 reg = <0x7e400000 0x6000>;
58 compatible = "brcm,bcm2835-hdmi";
59 reg = <0x7e902000 0x600>,
61 interrupts = <2 8>, <2 9>;
63 hpd-gpios = <&gpio 46 GPIO_ACTIVE_HIGH>;
64 clocks = <&clocks BCM2835_PLLH_PIX>,
65 <&clocks BCM2835_CLOCK_HSM>;
66 clock-names = "pixel", "hdmi";
70 compatible = "brcm,bcm2835-v3d";
71 reg = <0x7ec00000 0x1000>;
76 compatible = "brcm,bcm2835-vc4";