spin_unlock(&inode->i_lock);  
void nfs_revalidate_mapping(struct inode *inode, struct address_space *mapping){	struct nfs_inode *nfsi = NFS_I(inode);	if (nfsi->cache_validity & NFS_INO_INVALID_DATA) {		if (S_ISREG(inode->i_mode)) {			if (filemap_fdatawrite(mapping) == 0)				filemap_fdatawait(mapping);			nfs_wb_all(inode);		}		invalidate_inode_pages2(mapping);		nfsi->cache_validity &= ~NFS_INO_INVALID_DATA;		if (S_ISDIR(inode->i_mode)) {			memset(nfsi->cookieverf, 0, sizeof(nfsi->cookieverf));			/* This ensures we revalidate child dentries */			nfsi->cache_change_attribute++;		}		dfprintk(PAGECACHE, "NFS: (%s/%Ld) data cache invalidated\n",				inode->i_sb->s_id,				(long long)NFS_FILEID(inode));	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dc59250c6ebed099a9bc0a11298e2281dd896657/inode.c/clean/fs/nfs/inode.c