linux/arch/arm/boot/dts/bcm2835.dtsi

#include "bcm283x.dtsi"

/ {
	compatible = "brcm,bcm2835";

	soc {
		ranges = <0x7e000000 0x20000000 0x02000000>;
		dma-ranges = <0x40000000 0x00000000 0x20000000>;

		arm-pmu {
			compatible = "arm,arm1176-pmu";
		};
	};
};