disp_adjust_unbound_pri
disp_adjust_unbound_pri(tp);
disp_adjust_unbound_pri(t);
extern void disp_adjust_unbound_pri(kthread_t *);