sem_obtain_object_check 1232 ipc/sem.c      		sma = sem_obtain_object_check(ns, semid);
sem_obtain_object_check 1337 ipc/sem.c      	sma = sem_obtain_object_check(ns, semid);
sem_obtain_object_check 1397 ipc/sem.c      	sma = sem_obtain_object_check(ns, semid);
sem_obtain_object_check 1908 ipc/sem.c      	sma = sem_obtain_object_check(ns, semid);
sem_obtain_object_check 2041 ipc/sem.c      	sma = sem_obtain_object_check(ns, semid);
sem_obtain_object_check 2343 ipc/sem.c      		sma = sem_obtain_object_check(tsk->nsproxy->ipc_ns, semid);