From d34bd6f3cb89000a6975dee5e3bdde86aad47793 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nils=20O=2E=20Sel=C3=A5sdal?= <noselasd@fiane.dyndns.org>
Date: Tue, 5 May 2015 00:05:27 +0200
Subject: [PATCH] Fix uc_tailq_empty. It did not work prior to this.

---
 include/ucore/tailq.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/ucore/tailq.h b/include/ucore/tailq.h
index a4ebd6f..7ae9768 100644
--- a/include/ucore/tailq.h
+++ b/include/ucore/tailq.h
@@ -68,7 +68,7 @@ static UC_INLINE void uc_tailq_init(struct TailQ *head)
  */
 static UC_INLINE int uc_tailq_empty(const struct TailQ *head)
 {
-    return head->next == head->prev;
+    return head->next == head;
 }
 
 /** Insert the entry between prev and next