From: Ben Pfaff Date: Sat, 20 May 2006 20:01:15 +0000 (+0000) Subject: Comment. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3aed0d2d4a90ee50db206d7442c4a87207f59d4d;p=pintos-anon Comment. --- diff --git a/doc/reference.texi b/doc/reference.texi index 0c577f7..463f728 100644 --- a/doc/reference.texi +++ b/doc/reference.texi @@ -840,6 +840,9 @@ char get (void) @{ @node Memory Barriers @subsection Memory Barriers +@c We should try to come up with a better example. +@c Perhaps something with a linked list? + Suppose we add a ``feature'' that, whenever a timer interrupt occurs, the character in global variable @code{timer_put_char} is printed on the console, but only if global Boolean variable