Changes in kernel/generic/src/syscall/syscall.c [b2fa1204:6c34f587] 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 */
@@ -87 +86 @@
                 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 +120 @@
 syshandler_t syscall_table[SYSCALL_END] = {
         /* System management syscalls. */
-        (syshandler_t) sys_kio,
+        (syshandler_t) sys_klog,
         (syshandler_t) sys_tls_set,
         
@@ -192 +190 @@
         
         /* Kernel console syscalls. */
-        (syshandler_t) sys_debug_activate_console,
-        
-        (syshandler_t) sys_klog,
+        (syshandler_t) sys_debug_activate_console
 };