if (retval > 0) { struct inode *inode = file->f_dentry->d_inode; inode->i_mtime = CURRENT_TIME_SEC; hpfs_i(inode)->i_dirty = 1; } 
if (retval > 0) hpfs_i(file->f_dentry->d_inode)->i_dirty = 1; 
static ssize_t hpfs_file_write(struct file *file, const char __user *buf,			size_t count, loff_t *ppos){	ssize_t retval;	retval = generic_file_write(file, buf, count, ppos);	if (retval > 0) {		struct inode *inode = file->f_dentry->d_inode;		inode->i_mtime = CURRENT_TIME_SEC;		hpfs_i(inode)->i_dirty = 1;	}	return retval;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/33096b1e735b0a36c289ced394da7a25e94bc815/file.c/buggy/fs/hpfs/file.c