Changes in kernel/generic/src/udebug/udebug_ops.c [19f857a:3698e44] in mainline

File:

• kernel/generic/src/udebug/udebug_ops.c (modified) (2 diffs)

kernel/generic/src/udebug/udebug_ops.c

@@ -46 +46 @@
 #include <errno.h>
 #include <print.h>
-#include <str.h>
+#include <string.h>
 #include <syscall/copy.h>
 #include <ipc/ipc.h>
@@ -80 +80 @@
 static int _thread_op_begin(thread_t *t, bool being_go)
 {
+        task_id_t taskid;
         ipl_t ipl;
+
+        taskid = TASK->taskid;
 
         mutex_lock(&TASK->udebug.lock);