From 2fb34dae1485e6695cb9b6e4b7f5dd391634f172 Mon Sep 17 00:00:00 2001
From: Andrew Turner <andrew@FreeBSD.org>
Date: Thu, 19 Mar 2015 11:34:51 +0000
Subject: [PATCH] Use the dsb macro to use the correct instruction when
 building for ARMv7.

---
 sys/contrib/vchiq/interface/vchiq_arm/vchiq_kmod.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/contrib/vchiq/interface/vchiq_arm/vchiq_kmod.c b/sys/contrib/vchiq/interface/vchiq_arm/vchiq_kmod.c
index 6931c8992241..9f282c7f77a2 100644
--- a/sys/contrib/vchiq/interface/vchiq_arm/vchiq_kmod.c
+++ b/sys/contrib/vchiq/interface/vchiq_arm/vchiq_kmod.c
@@ -112,7 +112,7 @@ remote_event_signal(REMOTE_EVENT_T *event)
 		has completed */
 	if (event->armed) {
 		/* trigger vc interrupt */
- 		__asm __volatile ("mcr p15, 0, %0, c7, c10, 4" : : "r" (0) : "memory");
+		dsb();
 		vchiq_write_4(0x48, 0);
 	}
 }