Changes in kernel/generic/src/syscall/syscall.c [43b8c65:8820544] 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>
@@ -57 +56 @@
 #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 {
-                printf("Task %" PRIu64": Unknown syscall %#" PRIxn, TASK->taskid, id);
+                log(LF_OTHER, LVL_ERROR,
+                    "Task %" PRIu64": Unknown syscall %#" PRIxn, TASK->taskid, id);
                 task_kill_self(true);
         }
@@ -121 +122 @@
 syshandler_t syscall_table[SYSCALL_END] = {
         /* System management syscalls. */
-        (syshandler_t) sys_klog,
+        (syshandler_t) sys_kio,
         (syshandler_t) sys_tls_set,
         
@@ -141 +142 @@
         (syshandler_t) sys_futex_wakeup,
         (syshandler_t) sys_smc_coherence,
-        (syshandler_t) sys_smp_memory_barrier,
-        
         
         /* Address space related syscalls. */
@@ -166 +165 @@
         
         /* Event notification syscalls. */
-        (syshandler_t) sys_event_subscribe,
-        (syshandler_t) sys_event_unmask,
+        (syshandler_t) sys_ipc_event_subscribe,
+        (syshandler_t) sys_ipc_event_unsubscribe,
+        (syshandler_t) sys_ipc_event_unmask,
         
         /* Capabilities related syscalls. */
@@ -181 +181 @@
         (syshandler_t) sys_iospace_enable,
         (syshandler_t) sys_iospace_disable,
-        (syshandler_t) sys_irq_register,
-        (syshandler_t) sys_irq_unregister,
+        
+        (syshandler_t) sys_ipc_irq_subscribe,
+        (syshandler_t) sys_ipc_irq_unsubscribe,
         
         /* Sysinfo syscalls. */
@@ -193 +194 @@
         
         /* Kernel console syscalls. */
-        (syshandler_t) sys_debug_activate_console
+        (syshandler_t) sys_debug_console,
+        
+        (syshandler_t) sys_klog,
 };