projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a983a2) | 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)
commitecad183eed32dd928ec069dbaf944fa0da83eaa3
tree1c5524261c4b0ed0e03ee9abc26859304cc774d3tree | snapshot
parent8a983a2f9697daf07e8fdab3459f0fe99b3d22adcommit | diff
Specify rounding for priority calculations.

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