Bruce Evans 2598b9f117 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).
2002-02-14 01:21:23 +00:00
..
2002-02-01 14:48:44 +00:00
2002-02-10 21:36:13 +00:00
2002-01-08 19:33:51 +00:00
2002-02-07 20:58:47 +00:00
2002-02-07 20:58:47 +00:00