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

File:

• kernel/generic/src/syscall/syscall.c (modified) (4 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,
         
@@ -190 +192 @@
         
         /* Kernel console syscalls. */
-        (syshandler_t) sys_debug_activate_console
+        (syshandler_t) sys_debug_activate_console,
+        
+        (syshandler_t) sys_klog,
 };