7b611b0cb2
set a thread's priority via sched_prio() when that is the desired action. The schedulers will start managing td_base_pri internally shortly.