1 files changed, 1 insertions, 2 deletions

diff --git a/src/kernel_iface.c b/src/kernel_iface.c
index 25e0cea..1426795 100644
--- a/src/kernel_iface.c
+++ b/src/kernel_iface.c
@@ -8,7 +8,6 @@
 
 #include "litmus.h"
 #include "internal.h"
-#include "asm/atomic.h"
 
 #define LITMUS_CTRL_DEVICE "/dev/litmus/ctrl"
 #define CTRL_PAGES 1
@@ -66,7 +65,7 @@ void exit_np(void)
 {
         if (likely(ctrl_page != NULL) && --ctrl_page->np_flag == 0) {
                 /* became preemptive, let's check for delayed preemptions */
-                barrier();
+                __sync_synchronize();
                 if (ctrl_page->delayed_preemption)
                         sched_yield();
         }