John Baldwin 63710c4d35 Stop explicitly touching td_base_pri outside of the scheduler and simply
set a thread's priority via sched_prio() when that is the desired action.
The schedulers will start managing td_base_pri internally shortly.
2004-12-30 20:29:58 +00:00
..
2004-12-15 12:18:41 +00:00
2003-06-11 06:49:16 +00:00
2003-06-11 06:49:16 +00:00
2003-06-11 06:49:16 +00:00
2004-11-04 07:17:08 +00:00
2004-08-09 06:04:00 +00:00
2004-12-21 18:32:46 +00:00