projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 592a204) | patch
Eliminate race condition in timer_print_stats() found by Sorav's
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 6 Jul 2005 20:45:36 +0000 (20:45 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 6 Jul 2005 20:45:36 +0000 (20:45 +0000)
commit7891eee6ec6f5db5dc0ab0a3b4790936bfffaabb
tree822bbe32272771c3a05004724678c100f010bf9ftree | snapshot
parent592a2041b117e771c7bfa53e1ee104ced1089ecccommit | diff
Eliminate race condition in timer_print_stats() found by Sorav's
Checkbochs tool.
src/devices/timer.c diff | blob | history
Pintos public repository