Changes in kernel/generic/src/ipc/kbox.c [c6f0e3a2:f173404] in mainline

File:

• kernel/generic/src/ipc/kbox.c (modified) (2 diffs)

kernel/generic/src/ipc/kbox.c

@@ -47 +47 @@
 void ipc_kbox_cleanup(void)
 {
-        ipl_t ipl;
         bool have_kb_thread;
 
@@ -78 +77 @@
          * kbox thread to clean it up since sender != debugger.
          */
-        ipl = interrupts_disable();
-        spinlock_lock(&TASK->lock);
+        mutex_lock(&TASK->udebug.lock);
         udebug_task_cleanup(TASK);
-        spinlock_unlock(&TASK->lock);
-        interrupts_restore(ipl);
-        
+        mutex_unlock(&TASK->udebug.lock);
+
         if (have_kb_thread) {
                 LOG("Join kb.thread.");