sem_obtain_object_check
sma = sem_obtain_object_check(ns, semid);
sma = sem_obtain_object_check(ns, semid);
sma = sem_obtain_object_check(ns, semid);
sma = sem_obtain_object_check(ns, semid);
sma = sem_obtain_object_check(ns, semid);
sma = sem_obtain_object_check(tsk->nsproxy->ipc_ns, semid);