if (!(NFS_FLAGS(inode) & (NFS_INO_INVALID_ATTR|NFS_INO_INVALID_DATA)) 
if (!(NFS_I(inode)->cache_validity & (NFS_INO_INVALID_ATTR|NFS_INO_INVALID_DATA)) 
int nfs_revalidate_inode(struct nfs_server *server, struct inode *inode){	if (!(NFS_FLAGS(inode) & (NFS_INO_INVALID_ATTR|NFS_INO_INVALID_DATA))			&& !nfs_attribute_timeout(inode))		return NFS_STALE(inode) ? -ESTALE : 0;	return __nfs_revalidate_inode(server, inode);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5529680981807b44abf3be30fb6d612ff04f68ff/inode.c/buggy/fs/nfs/inode.c