Changes in kernel/generic/src/syscall/syscall.c [1ea99cc:057d21a] 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 */
@@ -144 +137 @@
         (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,
@@ -166 +160 @@
         
         /* Debug calls */
-        (syshandler_t) sys_debug_putint,
         (syshandler_t) sys_debug_enable_console,
         (syshandler_t) sys_debug_disable_console,