projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33160e0) | patch
Specify rounding for priority calculations.
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 3 Jul 2008 20:10:32 +0000 (20:10 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 3 Jul 2008 20:10:32 +0000 (20:10 +0000)
commit1ae85568d7508dbb5c8b3e4ee3cd08256947a7f3
tree63b0ea778e9c3a25636a80cbdd2d81781720011dtree | snapshot
parent33160e0720eb514f819ce5386fae6f51c1626350commit | diff
Specify rounding for priority calculations.

Pointed out by Ed Karrels <karrels@stanford.edu>.
doc/44bsd.texi diff | blob | history
Pintos public repository