sop->so_seqid = lock->lk_new_lock_seqid - 1; 
sop->so_seqid = lock->lk_new_lock_seqid; 
alloc_init_lock_stateowner(unsigned int strhashval, struct nfs4_client *clp, struct nfs4_stateid *open_stp, struct nfsd4_lock *lock) {	struct nfs4_stateowner *sop;	struct nfs4_replay *rp;	unsigned int idhashval;	if (!(sop = alloc_stateowner(&lock->lk_new_owner)))		return NULL;	idhashval = lockownerid_hashval(current_ownerid);	INIT_LIST_HEAD(&sop->so_idhash);	INIT_LIST_HEAD(&sop->so_strhash);	INIT_LIST_HEAD(&sop->so_perclient);	INIT_LIST_HEAD(&sop->so_stateids);	INIT_LIST_HEAD(&sop->so_perstateid);	INIT_LIST_HEAD(&sop->so_close_lru); /* not used */	sop->so_time = 0;	list_add(&sop->so_idhash, &lock_ownerid_hashtbl[idhashval]);	list_add(&sop->so_strhash, &lock_ownerstr_hashtbl[strhashval]);	list_add(&sop->so_perstateid, &open_stp->st_lockowners);	sop->so_is_open_owner = 0;	sop->so_id = current_ownerid++;	sop->so_client = clp;	sop->so_seqid = lock->lk_new_lock_seqid - 1;	sop->so_confirmed = 1;	rp = &sop->so_replay;	rp->rp_status = NFSERR_SERVERFAULT;	rp->rp_buflen = 0;	rp->rp_buf = rp->rp_ibuf;	return sop;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/bd9aac523b812d58e644fde5e59f5697fb9e3822/nfs4state.c/buggy/fs/nfsd/nfs4state.c