From 8ab1c570cf529df981c7d8c27066bfa80f22fc0a Mon Sep 17 00:00:00 2001 From: "Bjoern B. Brandenburg" Date: Thu, 1 May 2008 17:17:55 -0400 Subject: isolate architecture dependent code --- src/kernel_iface.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'src') 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) -- cgit v1.2.2