Index: generic/src/ipc/ipc.c
===================================================================
--- generic/src/ipc/ipc.c	(revision 5626277b8459d4e7f87105bacfa7b3ef4aa4e53b)
+++ generic/src/ipc/ipc.c	(revision 9a68b34d997aee7a6bb46e96ef6da51cb260bcaf)
@@ -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));