Changes in kernel/generic/src/syscall/syscall.c [6c34f587:43b8c65] in mainline

File:

• kernel/generic/src/syscall/syscall.c (modified) (2 diffs)

kernel/generic/src/syscall/syscall.c

@@ -50 +50 @@
 #include <synch/futex.h>
 #include <synch/smc.h>
+#include <synch/smp_memory_barrier.h>
 #include <ddi/ddi.h>
 #include <ipc/event.h>
@@ -140 +141 @@
         (syshandler_t) sys_futex_wakeup,
         (syshandler_t) sys_smc_coherence,
+        (syshandler_t) sys_smp_memory_barrier,
+        
         
         /* Address space related syscalls. */