rem: int user_get_sem_count(sem_id uid, int32* uthread_count)
add: status_t user_get_sem_count(sem_id uid, int32* uthread_count)
context: int user_get_sem_count(sem_id uid, int32* uthread_count){	int32 thread_count;	int rc, rc2;	rc  = get_sem_count(uid, &thread_count);	rc2 = user_memcpy(uthread_count, &thread_count, sizeof(int32));	if (rc2 < 0)		return rc2;	return rc;}