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