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

File:

• kernel/generic/src/ipc/kbox.c (modified) (6 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.");
@@ -126 +123 @@
         ipc_answer(&TASK->kb.box, call);
 
+        mutex_lock(&TASK->kb.cleanup_lock);
+
         ipl = interrupts_disable();
         spinlock_lock(&TASK->lock);
@@ -136 +135 @@
 
                 /* Only detach kbox thread unless already terminating. */
-                mutex_lock(&TASK->kb.cleanup_lock);
                 if (TASK->kb.finished == false) {
                         /* Detach kbox thread so it gets freed from memory. */
@@ -142 +140 @@
                         TASK->kb.thread = NULL;
                 }
-                mutex_unlock(&TASK->kb.cleanup_lock);
 
                 LOG("Phone list is empty.");
@@ -153 +150 @@
         spinlock_unlock(&TASK->lock);
         interrupts_restore(ipl);
+
+        mutex_unlock(&TASK->kb.cleanup_lock);
 }