From 0f04f5deaa68efca72e4a559405771e2dea56445 Mon Sep 17 00:00:00 2001
From: Oleksandr Tymoshenko <gonzo@FreeBSD.org>
Date: Thu, 24 Nov 2016 00:39:17 +0000
Subject: [PATCH] [rpi3] Fix SMP build for FreeBSD/arm64

---
 sys/arm/broadcom/bcm2835/bcm2836.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/sys/arm/broadcom/bcm2835/bcm2836.c b/sys/arm/broadcom/bcm2835/bcm2836.c
index fce9fcf8e2b4..1ec19ace6f4d 100644
--- a/sys/arm/broadcom/bcm2835/bcm2836.c
+++ b/sys/arm/broadcom/bcm2835/bcm2836.c
@@ -362,7 +362,11 @@ bcm_lintc_ipi_dispatch(struct bcm_lintc_softc *sc, u_int cpu,
 		 * and make sure that it's observed by everybody.
 		 */
 		bcm_lintc_write_4(sc, BCM_LINTC_MBOX0_CLR_REG(cpu), 1 << ipi);
+#if defined(__aarch64__)
+		dsb(sy);
+#else
 		dsb();
+#endif
 		intr_ipi_dispatch(ipi, tf);
 	}
 }