nfs_refresh_inode(data->inode, data->res.fattr); 
nfs_post_op_update_inode(data->inode, data->res.fattr); 
nfs_write_done(struct rpc_task *task){	struct nfs_write_data *data = (struct nfs_write_data *) task->tk_calldata;	if (task->tk_status >= 0)		nfs_refresh_inode(data->inode, data->res.fattr);	nfs_writeback_done(task);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/decf491f3076190262d4c649bed877650623903a/proc.c/buggy/fs/nfs/proc.c