Changes in kernel/generic/src/syscall/syscall.c [63594c0:6b10dab] in mainline

File:

• kernel/generic/src/syscall/syscall.c (modified) (4 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>
@@ -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)
@@ -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,