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