From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 11 Nov 2006 14:44:42 +0000 (+0000)
Subject: Add comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=922af9ed1bd72fbf4a4c77ab6ddde78a7b6c3e97;p=pintos-anon

Add comment.
---

diff --git a/src/threads/synch.h b/src/threads/synch.h
index 9e464e3..a19e88b 100644
--- a/src/threads/synch.h
+++ b/src/threads/synch.h
@@ -44,7 +44,8 @@ void cond_broadcast (struct condition *, struct lock *);
 /* Optimization barrier.
 
    The compiler will not reorder operations across an
-   optimization barrier. */
+   optimization barrier.  See "Optimization Barriers" in the
+   reference guide for more information.*/
 #define barrier() asm volatile ("" : : : "memory")
 
 #endif /* threads/synch.h */