<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">From fcd4bc412167d2a79bf63603e883f4960ca6b2a1 Mon Sep 17 00:00:00 2001
From: Stefan Wahren &lt;wahrenst@gmx.net&gt;
Date: Fri, 27 Dec 2019 11:15:00 +0100
Subject: [PATCH] ARM: dts: bcm283x: Move system timer back to
 bcm283x.dtsi

During Raspberry Pi 4 upstream discussion Tim Gover confirmed that the
system timer also exists on BCM2711. So move it back to bcm283x.dtsi and
overwrite the interrupt definition in bcm2838.dtsi.

Signed-off-by: Stefan Wahren &lt;wahrenst@gmx.net&gt;
---
 arch/arm/boot/dts/bcm2835-common.dtsi | 11 -----------
 arch/arm/boot/dts/bcm2838.dtsi        |  7 +++++++
 arch/arm/boot/dts/bcm283x.dtsi        | 11 +++++++++++
 3 files changed, 18 insertions(+), 11 deletions(-)

--- a/arch/arm/boot/dts/bcm2835-common.dtsi
+++ b/arch/arm/boot/dts/bcm2835-common.dtsi
@@ -6,17 +6,6 @@
 
 / {
 	soc {
-		timer@7e003000 {
-			compatible = "brcm,bcm2835-system-timer";
-			reg = &lt;0x7e003000 0x1000&gt;;
-			interrupts = &lt;1 0&gt;, &lt;1 1&gt;, &lt;1 2&gt;, &lt;1 3&gt;;
-			/* This could be a reference to BCM2835_CLOCK_TIMER,
-			 * but we don't have the driver using the common clock
-			 * support yet.
-			 */
-			clock-frequency = &lt;1000000&gt;;
-		};
-
 		intc: interrupt-controller@7e00b200 {
 			compatible = "brcm,bcm2835-armctrl-ic";
 			reg = &lt;0x7e00b200 0x200&gt;;
--- a/arch/arm/boot/dts/bcm2838.dtsi
+++ b/arch/arm/boot/dts/bcm2838.dtsi
@@ -711,6 +711,13 @@
 	interrupts = &lt;GIC_SPI 120 IRQ_TYPE_LEVEL_HIGH&gt;;
 };
 
+&amp;system_timer {
+	interrupts = &lt;GIC_SPI 64 IRQ_TYPE_LEVEL_HIGH&gt;,
+		     &lt;GIC_SPI 65 IRQ_TYPE_LEVEL_HIGH&gt;,
+		     &lt;GIC_SPI 66 IRQ_TYPE_LEVEL_HIGH&gt;,
+		     &lt;GIC_SPI 67 IRQ_TYPE_LEVEL_HIGH&gt;;
+};
+
 &amp;uart0 {
 	interrupts = &lt;GIC_SPI 121 IRQ_TYPE_LEVEL_HIGH&gt;;
 };
--- a/arch/arm/boot/dts/bcm283x.dtsi
+++ b/arch/arm/boot/dts/bcm283x.dtsi
@@ -56,6 +56,17 @@
 		#address-cells = &lt;1&gt;;
 		#size-cells = &lt;1&gt;;
 
+		system_timer: timer@7e003000 {
+			compatible = "brcm,bcm2835-system-timer";
+			reg = &lt;0x7e003000 0x1000&gt;;
+			interrupts = &lt;1 0&gt;, &lt;1 1&gt;, &lt;1 2&gt;, &lt;1 3&gt;;
+			/* This could be a reference to BCM2835_CLOCK_TIMER,
+			 * but we don't have the driver using the common clock
+			 * support yet.
+			 */
+			clock-frequency = &lt;1000000&gt;;
+		};
+
 		txp: txp@7e004000 {
 			compatible = "brcm,bcm2835-txp";
 			reg = &lt;0x7e004000 0x20&gt;;
</pre></body></html>