Index: sys/arm64/arm64/gic_v3.c
===================================================================
--- sys/arm64/arm64/gic_v3.c
+++ sys/arm64/arm64/gic_v3.c
@@ -916,6 +916,12 @@
 	irq = gi->gi_irq;
 	val = 0;
 
+	/*
+	 * Ensure that this CPUs stores will be visible to IPI
+	 * recipients before starting to send the interrupts.
+	 */
+	dsb(ishst);
+
 	/* Iterate through all CPUs in set */
 	for (i = 0; i <= mp_maxid; i++) {
 		/* Move to the next affinity group */