sema_change_pri
static void sema_change_pri(kthread_t *t, pri_t pri, pri_t *t_prip);
SOBJ_SEMA, sema_owner, sema_unsleep, sema_change_pri