projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31a5c05) | patch
Clarify that adding code where interrupts are already disabled may be
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 20 Dec 2005 18:35:50 +0000 (18:35 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 20 Dec 2005 18:35:50 +0000 (18:35 +0000)
commitb08d79f8b1891415cfb6727b11ea83c4ef0b8f5e
treee605e4d77ab177530c928f8c895bc10b0e6390d2tree | snapshot
parent31a5c05022d220aec382002d38fd900dc950b06acommit | diff
Clarify that adding code where interrupts are already disabled may be
necessary.
doc/threads.texi diff | blob | history
Pintos public repository