Jake Burkholder 5b270b2a55 Sigh. Try to get priorities sorted out. Don't bother trying to
update native priority, it is diffcult to get right and likely
to end up horribly wrong.  Use an honestly wrong fixed value
that seems to work; PUSER for user threads, and the interrupt
priority for ithreads.  Set it once when the process is created
and forget about it.

Suggested by:	bde
Pointy hat:	me
2001-02-28 02:53:44 +00:00
..
2001-01-28 06:39:56 +00:00
2001-01-24 08:42:39 +00:00
2000-12-02 05:45:32 +00:00
2001-02-06 11:21:58 +00:00
2001-02-09 16:27:41 +00:00
2001-02-11 10:44:09 +00:00
2000-12-01 08:57:47 +00:00
2001-01-01 23:09:53 +00:00
2001-02-22 13:46:09 +00:00
2000-12-31 23:12:20 +00:00
2000-12-28 12:17:35 +00:00
2000-09-29 13:36:47 +00:00
2001-02-06 11:21:58 +00:00
2000-12-02 05:45:32 +00:00
2000-12-01 08:57:47 +00:00
2001-01-29 10:06:22 +00:00
2001-02-06 11:21:58 +00:00
2001-02-17 19:40:22 +00:00
2001-02-06 09:18:39 +00:00