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

File:

• kernel/generic/src/syscall/syscall.c (modified) (8 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>
@@ -56 +57 @@
 #include <console/console.h>
 #include <udebug/udebug.h>
-#include <log.h>
 
 /** Dispatch system call */
@@ -87 +87 @@
                 rc = syscall_table[id](a1, a2, a3, a4, a5, a6);
         } else {
-                log(LF_OTHER, LVL_ERROR,
-                    "Task %" PRIu64": Unknown syscall %#" PRIxn, TASK->taskid, id);
+                printf("Task %" PRIu64": Unknown syscall %#" PRIxn, TASK->taskid, id);
                 task_kill_self(true);
         }
@@ -122 +121 @@
 syshandler_t syscall_table[SYSCALL_END] = {
         /* System management syscalls. */
-        (syshandler_t) sys_kio,
+        (syshandler_t) sys_klog,
         (syshandler_t) sys_tls_set,
         
@@ -142 +141 @@
         (syshandler_t) sys_futex_wakeup,
         (syshandler_t) sys_smc_coherence,
+        (syshandler_t) sys_smp_memory_barrier,
+        
         
         /* Address space related syscalls. */
@@ -165 +166 @@
         
         /* Event notification syscalls. */
-        (syshandler_t) sys_ipc_event_subscribe,
-        (syshandler_t) sys_ipc_event_unsubscribe,
-        (syshandler_t) sys_ipc_event_unmask,
+        (syshandler_t) sys_event_subscribe,
+        (syshandler_t) sys_event_unmask,
         
         /* Capabilities related syscalls. */
@@ -181 +181 @@
         (syshandler_t) sys_iospace_enable,
         (syshandler_t) sys_iospace_disable,
-        
-        (syshandler_t) sys_ipc_irq_subscribe,
-        (syshandler_t) sys_ipc_irq_unsubscribe,
+        (syshandler_t) sys_irq_register,
+        (syshandler_t) sys_irq_unregister,
         
         /* Sysinfo syscalls. */
@@ -194 +193 @@
         
         /* Kernel console syscalls. */
-        (syshandler_t) sys_debug_console,
-        
-        (syshandler_t) sys_klog,
+        (syshandler_t) sys_debug_activate_console
 };