projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e0f108) | 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)
commitde0fe1b7b926233ddb03d6fd136b62f6f7295b44
tree971c1f239fb72b5d082e857370bcf65edac3a8c5tree | snapshot
parent4e0f108f35a10fd278f2f1e0e1b1bae8d4dd9c7ccommit | diff
Clarify that adding code where interrupts are already disabled may be
necessary.
doc/threads.texi diff | blob | history
Pintos public repository