rem: int rc, rc2;
add: status_t rc; int rc2;
context: int user_get_sem_info(sem_id uid, struct sem_info *uinfo, size_t sz){	struct sem_info info;	int rc, rc2;	if ((addr)uinfo >= KERNEL_BASE && (addr)uinfo <= KERNEL_TOP)		return ERR_VM_BAD_USER_MEMORY;	rc = _get_sem_info(uid, &info, sz);	rc2 = user_memcpy(uinfo, &info, sz);	if (rc2 < 0)		return rc2;	return rc;}