bcm2838.dtsi : Correct gic400 memory address ranges

It appears to me the addresses for the gic400 are slightly wrong . See section 3.2 https://static.docs.arm.com/ddi0471/a/DDI0471A_gic400_r0p0_trm.pdf
raspberrypi · Jun 26, 2019 · ab5b000 · ab5b000
1 parent 196f607
commit ab5b000
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/arch/arm/boot/dts/bcm2838.dtsi b/arch/arm/boot/dts/bcm2838.dtsi
@@ -30,8 +30,8 @@
 			compatible = "arm,gic-400";
 			reg =	<0x40041000 0x1000>,
 				<0x40042000 0x2000>,
-				<0x40046000 0x2000>,
-				<0x40048000 0x2000>;
+				<0x40044000 0x2000>,
+				<0x40046000 0x2000>;
 		};
 
 		thermal: thermal@7d5d2200 {