kfree(stp); 
kmem_cache_free(stateid_slab, stp); 
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);	kfree(stp);	stp = NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5ac049ac66416bbe84923f7c2384f23f6ee4aa88/nfs4state.c/buggy/fs/nfsd/nfs4state.c