isolate architecture dependent code

1 files changed, 1 insertions, 5 deletions

diff --git a/src/kernel_iface.c b/src/kernel_iface.c
index 35c84b6..d29c652 100644
--- a/src/kernel_iface.c
+++ b/src/kernel_iface.c
@@ -2,6 +2,7 @@
 
 #include "litmus.h"
 #include "internal.h"
+#include "asm.h"
 
 /* per real-time thread kernel <-> user space flags */
 
@@ -35,11 +36,6 @@ int init_kernel_iface(void)
         return ret;
 }
 
-static inline void barrier(void)
-{
-        __asm__ __volatile__("sfence": : :"memory");
-}
-
 void enter_np(void)
 {
         if (++np_flag.ctr == 1)