if (sop->so_is_open_owner) { 
if (sop->so_is_open_owner) 
unhash_stateowner(struct nfs4_stateowner *sop){	struct nfs4_stateid *stp;	list_del(&sop->so_idhash);	list_del(&sop->so_strhash);	if (sop->so_is_open_owner) {		list_del(&sop->so_perclient);		del_perclient++;	}	list_del(&sop->so_perlockowner);	while (!list_empty(&sop->so_perfilestate)) {		stp = list_entry(sop->so_perfilestate.next, 			struct nfs4_stateid, st_perfilestate);		if (sop->so_is_open_owner)			release_stateid(stp, OPEN_STATE);		else			release_stateid(stp, LOCK_STATE);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6fa305ded4cc859deb4727ad9b25df0bbc064e99/nfs4state.c/buggy/fs/nfsd/nfs4state.c