Changes in kernel/generic/src/ipc/kbox.c [f173404:c6f0e3a2] 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;
 
@@ -77 +78 @@
          * kbox thread to clean it up since sender != debugger.
          */
-        mutex_lock(&TASK->udebug.lock);
+        ipl = interrupts_disable();
+        spinlock_lock(&TASK->lock);
         udebug_task_cleanup(TASK);
-        mutex_unlock(&TASK->udebug.lock);
-
+        spinlock_unlock(&TASK->lock);
+        interrupts_restore(ipl);
+        
         if (have_kb_thread) {
                 LOG("Join kb.thread.");