update

[l4.git] / kernel / fiasco / src / kern / queue.cpp

diff --git a/kernel/fiasco/src/kern/queue.cpp b/kernel/fiasco/src/kern/queue.cpp
index f7b20d64142884e6d48e3b9a3236cd1da9f855b7..36559d26a8cc7896f74edc60bcc2af1e6d82fe13 100644 (file)
--- a/kernel/fiasco/src/kern/queue.cpp
+++ b/kernel/fiasco/src/kern/queue.cpp
@@ -72,6 +72,7 @@ void
 Queue::enqueue(Queue_item *i)
 {
   // Queue i at the end of the list
+  assert_kdb (i && !i->queued());
   assert_kdb (_m.head().test());
   i->_q = this;
   _m.push_back(i);