rt_change_priority
static void rt_change_priority(kthread_t *, rtproc_t *);
rt_change_priority(t, rtpp);
rt_change_priority(tx, rtpp);