Changes in kernel/generic/src/syscall/syscall.c [057d21a:1ea99cc] in mainline

File:

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

kernel/generic/src/syscall/syscall.c

@@ -54 +54 @@
 #include <console/console.h>
 #include <udebug/udebug.h>
+
+/** Print a hex integer into klog */
+static unative_t sys_debug_putint(unative_t i)
+{
+        printf("[task:0x%x]", i);
+        return 0;
+}
 
 /** Dispatch system call */
@@ -137 +144 @@
         (syshandler_t) sys_ipc_forward_slow,
         (syshandler_t) sys_ipc_wait_for_call,
-        (syshandler_t) sys_ipc_poke,
         (syshandler_t) sys_ipc_hangup,
         (syshandler_t) sys_ipc_register_irq,
@@ -160 +166 @@
         
         /* Debug calls */
+        (syshandler_t) sys_debug_putint,
         (syshandler_t) sys_debug_enable_console,
         (syshandler_t) sys_debug_disable_console,