list_del_perfile++; 
release_stateid(struct nfs4_stateid *stp, int flags){	struct file *filp = stp->st_vfs_file;	list_del(&stp->st_hash);	list_del_perfile++;	list_del(&stp->st_perfile);	list_del(&stp->st_perfilestate);	if (flags & OPEN_STATE) {		release_stateid_lockowners(stp);		stp->st_vfs_file = NULL;		nfsd_close(filp);		vfsclose++;	} else if (flags & LOCK_STATE)		locks_remove_posix(filp, (fl_owner_t) stp->st_stateowner);	kmem_cache_free(stateid_slab, stp);	stp = NULL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6fa305ded4cc859deb4727ad9b25df0bbc064e99/nfs4state.c/buggy/fs/nfsd/nfs4state.c