vfsopen++; 
nfs4_new_open(struct svc_rqst *rqstp, struct nfs4_stateid **stpp,		struct nfs4_delegation *dp,		struct svc_fh *cur_fh, int flags){	struct nfs4_stateid *stp;	stp = nfs4_alloc_stateid();	if (stp == NULL)		return nfserr_resource;	if (dp) {		get_file(dp->dl_vfs_file);		stp->st_vfs_file = dp->dl_vfs_file;	} else {		int status;		status = nfsd_open(rqstp, cur_fh, S_IFREG, flags,				&stp->st_vfs_file);		if (status) {			if (status == nfserr_dropit)				status = nfserr_jukebox;			kmem_cache_free(stateid_slab, stp);			return status;		}	}	vfsopen++;	*stpp = stp;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6fa305ded4cc859deb4727ad9b25df0bbc064e99/nfs4state.c/buggy/fs/nfsd/nfs4state.c