Changes in kernel/generic/src/syscall/syscall.c [77429d3:2fa10f6] in mainline

File:

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

kernel/generic/src/syscall/syscall.c

@@ -45 +45 @@
 #include <debug.h>
 #include <ddi/device.h>
-#include <interrupt.h>
 #include <ipc/sysipc.h>
 #include <synch/futex.h>
@@ -57 +56 @@
 
 /** Dispatch system call */
-sysarg_t syscall_handler(sysarg_t a1, sysarg_t a2, sysarg_t a3,
-    sysarg_t a4, sysarg_t a5, sysarg_t a6, sysarg_t id)
+unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3,
+    unative_t a4, unative_t a5, unative_t a6, unative_t id)
 {
         /* Do userpace accounting */
@@ -67 +66 @@
 #ifdef CONFIG_UDEBUG
         /*
-         * An istate_t-compatible record was created on the stack by the
-         * low-level syscall handler. This is the userspace space state
-         * structure.
-         */
-        THREAD->udebug.uspace_state = istate_get(THREAD);
-
-        /*
          * Early check for undebugged tasks. We do not lock anything as this
          * test need not be precise in either direction.
+         *
          */
         if (THREAD->udebug.active)
@@ -81 +74 @@
 #endif
         
-        sysarg_t rc;
+        unative_t rc;
         if (id < SYSCALL_END) {
                 rc = syscall_table[id](a1, a2, a3, a4, a5, a6);
@@ -105 +98 @@
                 udebug_stoppable_end();
         }
-
-        /* Clear userspace state pointer */
-        THREAD->udebug.uspace_state = NULL;
 #endif
         
@@ -130 +120 @@
         (syshandler_t) sys_task_get_id,
         (syshandler_t) sys_task_set_name,
-        (syshandler_t) sys_task_kill,
         (syshandler_t) sys_program_spawn_loader,
         
@@ -158 +147 @@
         (syshandler_t) sys_ipc_register_irq,
         (syshandler_t) sys_ipc_unregister_irq,
-        (syshandler_t) sys_ipc_connect_kbox,
         
         /* Event notification syscalls. */
@@ -180 +168 @@
         /* Debug calls */
         (syshandler_t) sys_debug_enable_console,
-        (syshandler_t) sys_debug_disable_console
+        (syshandler_t) sys_debug_disable_console,
+        
+        (syshandler_t) sys_ipc_connect_kbox
 };