if ((NFS_FLAGS(inode) & NFS_INO_REVAL_PAGECACHE) || nfs_attribute_timeout(inode)) 
if ((nfsi->cache_validity & NFS_INO_REVAL_PAGECACHE) || nfs_attribute_timeout(inode)) 
static int nfs_revalidate_file(struct inode *inode, struct file *filp){	int retval = 0;	if ((NFS_FLAGS(inode) & NFS_INO_REVAL_PAGECACHE) || nfs_attribute_timeout(inode))		retval = __nfs_revalidate_inode(NFS_SERVER(inode), inode);	nfs_revalidate_mapping(inode, filp->f_mapping);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5529680981807b44abf3be30fb6d612ff04f68ff/file.c/clean/fs/nfs/file.c