Fix TSS descriptor.
[pintos-anon] / src / threads / synch.c
index 39e43c3d57868935224f2a77e7305b96e4cff6b6..61446a18fd48a1489a4a8d6ee154febc5ef605d9 100644 (file)
@@ -7,7 +7,7 @@
 /* One thread in a list. */
 struct thread_elem
   {
-    struct list_elem elem;
+    list_elem elem;
     struct thread *thread;      
   };
 
@@ -205,7 +205,7 @@ lock_name (const struct lock *lock)
 /* One semaphore in a list. */
 struct semaphore_elem 
   {
-    struct list_elem elem;
+    list_elem elem;
     struct semaphore semaphore;
   };