Changeset 51a7dc1 in mainline

Timestamp:

2006-04-29T22:17:17Z (19 years ago)

Author:

Ondrej Palkovsky <ondrap@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

0e00b8a

Parents:

5626277

Message:

Small fixes.

Files:

• arch/mips32/src/interrupt.c (modified) (1 diff)
• generic/src/ipc/ipc.c (modified) (1 diff)

arch/mips32/src/interrupt.c

@@ -103 +103 @@
 }
 
-#include <print.h>
 static void ipc_int(int n, istate_t *istate)
 {

generic/src/ipc/ipc.c

@@ -436 +436 @@
         while (atomic_get(&task->active_calls)) {
                 call = ipc_wait_for_call(&task->answerbox, 0);
-                ASSERT(call->flags & IPC_CALL_ANSWERED);
+                ASSERT((call->flags & IPC_CALL_ANSWERED) || (call->flags & IPC_CALL_NOTIF));
                 ASSERT(! (call->flags & IPC_CALL_STATIC_ALLOC));