From 96fe97154e7c76a192f4d72e5d006882930ef034 Mon Sep 17 00:00:00 2001
From: Jared McNeill <jmcneill@FreeBSD.org>
Date: Sun, 4 Sep 2016 22:30:46 +0000
Subject: [PATCH] A64 thermal sensor IRQ is GIC_SPI 31, not 41.

---
 sys/boot/fdt/dts/arm64/a64.dtsi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/boot/fdt/dts/arm64/a64.dtsi b/sys/boot/fdt/dts/arm64/a64.dtsi
index ab946506060..5cf1d38c235 100644
--- a/sys/boot/fdt/dts/arm64/a64.dtsi
+++ b/sys/boot/fdt/dts/arm64/a64.dtsi
@@ -110,7 +110,7 @@
 		rtp: rtp@01c25000 {
 			compatible = "allwinner,sun50i-a64-ts";
 			reg = <0x01c25000 0x400>;
-			interrupts = <GIC_SPI 41 IRQ_TYPE_LEVEL_HIGH>;
+			interrupts = <GIC_SPI 31 IRQ_TYPE_LEVEL_HIGH>;
 			clocks = <&bus_gates 72>, <&ths_clk>;
 			clock-names = "ahb", "ths";
 			resets = <&ahb_rst 136>;