semctl_setval
return semctl_setval(ns, semid, semnum, val);
return semctl_setval(ns, semid, semnum, arg);