Index: generic/src/ipc/ipc.c
===================================================================
--- generic/src/ipc/ipc.c	(revision 5626277b8459d4e7f87105bacfa7b3ef4aa4e53b)
+++ generic/src/ipc/ipc.c	(revision 738ad2ee5caf06cfdb3fc173c15ee2efe64f1de8)
@@ -436,5 +436,5 @@
 	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));