int	res; res = nfs_scan_list(&nfsi->dirty, dst, idx_start, npages); nfsi->ndirty -= res; sub_page_state(nr_dirty,res); if ((nfsi->ndirty == 0) != list_empty(&nfsi->dirty)) printk(KERN_ERR "NFS: desynchronized value of nfs_i.ndirty.\n"); 
int res = 0;  if (nfsi->ndirty != 0) { res = nfs_scan_lock_dirty(nfsi, dst, idx_start, npages); nfsi->ndirty -= res; sub_page_state(nr_dirty,res); if ((nfsi->ndirty == 0) != list_empty(&nfsi->dirty)) printk(KERN_ERR "NFS: desynchronized value of nfs_i.ndirty.\n"); } 
nfs_scan_dirty(struct inode *inode, struct list_head *dst, unsigned long idx_start, unsigned int npages){	struct nfs_inode *nfsi = NFS_I(inode);	int	res;	res = nfs_scan_list(&nfsi->dirty, dst, idx_start, npages);	nfsi->ndirty -= res;	sub_page_state(nr_dirty,res);	if ((nfsi->ndirty == 0) != list_empty(&nfsi->dirty))		printk(KERN_ERR "NFS: desynchronized value of nfs_i.ndirty.\n");	return res;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3da28eb1c6545fe73263a24eba0996217490e1eb/write.c/clean/fs/nfs/write.c