sema_owner
static kthread_t *sema_owner(ksema_t *);
SOBJ_SEMA, sema_owner, sema_unsleep, sema_change_pri