projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
79deb0e
)
Comment.
author
Ben Pfaff
<blp@cs.stanford.edu>
Sat, 20 May 2006 20:01:15 +0000
(20:01 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Sat, 20 May 2006 20:01:15 +0000
(20:01 +0000)
doc/reference.texi
patch
|
blob
|
history
diff --git
a/doc/reference.texi
b/doc/reference.texi
index 0c577f7dfe3bf3bb892685a154095ed076a1b28e..463f728fcdc908ecd65f5f75d117645daee5955d 100644
(file)
--- 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