Add list_head(), list_tail().

[pintos-anon] / src / lib / list.h

diff --git a/src/lib/list.h b/src/lib/list.h
index a8086060adafa1872dd16c51cdfad2fdea676238..1bf66312553cc4ec271840f6fb39c287dd7a2735 100644 (file)
--- a/src/lib/list.h
+++ b/src/lib/list.h
@@ -89,16 +89,16 @@
 /* List element. */
 typedef struct list_elem 
   {
-    struct list_elem *prev; /* Previous node in list. */
-    struct list_elem *next; /* Next node in list. */
+    struct list_elem *prev;     /* Previous list element. */
+    struct list_elem *next;     /* Next list element. */
   }
 list_elem;
 
 /* List. */
 struct list 
   {
-    list_elem head; /* Start-of-list header node. */
-    list_elem tail; /* End-of-list header node. */
+    list_elem head;             /* List head. */
+    list_elem tail;             /* List tail. */
   };
 
 /* Converts pointer to list element LIST_ELEM into a pointer to
@@ -120,6 +120,9 @@ list_elem *list_rbegin (struct list *);
 list_elem *list_prev (list_elem *);
 list_elem *list_rend (struct list *);
 
+list_elem *list_head (struct list *);
+list_elem *list_tail (struct list *);
+
 /* List insertion. */
 void list_insert (list_elem *, list_elem *);
 void list_splice (list_elem *before,