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

File:

• kernel/generic/src/ipc/kbox.c (modified) (4 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.
@@ -88 +96 @@
         
         /* Answer all messages in 'calls' and 'dispatched_calls' queues. */
-        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);
+        ipc_cleanup_call_list(&TASK->kb.box, &TASK->kb.box.dispatched_calls);
+        ipc_cleanup_call_list(&TASK->kb.box, &TASK->kb.box.calls);
 }
 
@@ -162 +168 @@
         while (!done) {
                 call_t *call = ipc_wait_for_call(&TASK->kb.box, SYNCH_NO_TIMEOUT,
-                        SYNCH_FLAGS_NONE);
+                    SYNCH_FLAGS_NONE);
                 
                 if (call == NULL)
@@ -236 +242 @@
         
         /* Connect the newly allocated phone to the kbox */
-        ipc_phone_connect(&TASK->phones[newphid], &task->kb.box);
+        (void) ipc_phone_connect(&TASK->phones[newphid], &task->kb.box);
         
         if (task->kb.thread != NULL) {