K 10
svn:author
V 3
bde
K 8
svn:date
V 27
2002-02-14T01:21:23.000000Z
K 7
svn:log
V 293
Fixed sign extension bugs in previous commit.  They didn't completely
break scheduling because negative priorities were most fixed up by
converting kg_pri_user back to the correct type.

Fixed some style bugs in previous commit (non-terminated sentence fragments
and regressions in comments).

END