1// SPDX-License-Identifier: GPL-2.0 2/* 3 * This include file covers the common peripherals and configuration between 4 * bcm2835, bcm2836 and bcm2837 implementations that interact with RPi's 5 * firmware interface. 6 */ 7 8#include <dt-bindings/power/raspberrypi-power.h> 9 10&hdmi { 11 clocks = <&firmware_clocks 9>, 12 <&firmware_clocks 13>; 13 clock-names = "pixel", "hdmi"; 14}; 15 16&v3d { 17 power-domains = <&power RPI_POWER_DOMAIN_V3D>; 18}; 19 20&vec { 21 clocks = <&firmware_clocks 15>; 22}; 23