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

File:

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

kernel/generic/src/syscall/syscall.c

@@ -56 +56 @@
 #include <console/console.h>
 #include <udebug/udebug.h>
+#include <log.h>
 
 /** Dispatch system call */
@@ -86 +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);
         }
@@ -120 +122 @@
 syshandler_t syscall_table[SYSCALL_END] = {
         /* System management syscalls. */
-        (syshandler_t) sys_klog,
+        (syshandler_t) sys_kio,
         (syshandler_t) sys_tls_set,
         
@@ -163 +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. */
@@ -178 +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. */
@@ -190 +194 @@
         
         /* Kernel console syscalls. */
-        (syshandler_t) sys_debug_activate_console
+        (syshandler_t) sys_debug_console,
+        
+        (syshandler_t) sys_klog,
 };