Index: sys/arm64/arm64/bus_machdep.c
===================================================================
--- sys/arm64/arm64/bus_machdep.c
+++ sys/arm64/arm64/bus_machdep.c
@@ -34,6 +34,7 @@
 #include <vm/pmap.h>
 
 #include <machine/bus.h>
+#include <machine/cpu.h>
 
 uint8_t  generic_bs_r_1(void *, bus_space_handle_t, bus_size_t);
 uint16_t generic_bs_r_2(void *, bus_space_handle_t, bus_size_t);
@@ -105,6 +106,8 @@
 generic_bs_barrier(void *t, bus_space_handle_t bsh, bus_size_t offset,
     bus_size_t size, int flags)
 {
+
+	dsb(sy);
 }
 
 static int