sys__ksem_getvalue
int sys__ksem_getvalue(struct lwp *, const struct sys__ksem_getvalue_args *, register_t *);
.sy_call = (sy_call_t *)sys__ksem_getvalue
return sys__ksem_getvalue(l, &ua, retval);
{ SYS__ksem_getvalue, 0, (sy_call_t *)sys__ksem_getvalue },
check_syscall_args(sys__ksem_getvalue)
int sys__ksem_getvalue(struct lwp *, const struct sys__ksem_getvalue_args *, register_t *);