Changes in kernel/generic/src/ipc/kbox.c [c33f39f:6eef3c4] in mainline

File:

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

kernel/generic/src/ipc/kbox.c

@@ -48 +48 @@
 {
         /*
-         * Not really needed, just to be consistent with the meaning of
-         * answerbox_t.active.
-         */
-        irq_spinlock_lock(&TASK->kb.box.lock, true);
-        TASK->kb.box.active = false;
-        irq_spinlock_unlock(&TASK->kb.box.lock, true);
-
-        /*
          * Only hold kb.cleanup_lock while setting kb.finished -
          * this is enough.
@@ -96 +88 @@
         
         /* Answer all messages in 'calls' and 'dispatched_calls' queues. */
-        ipc_cleanup_call_list(&TASK->kb.box, &TASK->kb.box.dispatched_calls);
-        ipc_cleanup_call_list(&TASK->kb.box, &TASK->kb.box.calls);
+        irq_spinlock_lock(&TASK->kb.box.lock, true);
+        ipc_cleanup_call_list(&TASK->kb.box.dispatched_calls);
+        ipc_cleanup_call_list(&TASK->kb.box.calls);
+        irq_spinlock_unlock(&TASK->kb.box.lock, true);
 }
 
@@ -242 +236 @@
         
         /* Connect the newly allocated phone to the kbox */
-        (void) ipc_phone_connect(&TASK->phones[newphid], &task->kb.box);
+        ipc_phone_connect(&TASK->phones[newphid], &task->kb.box);
         
         if (task->kb.thread != NULL) {