if (file) get_file(file); spin_unlock(&files->file_lock); 
if (file) { if (!rcuref_inc_lf(&file->f_count)) { /* File object ref couldn't be taken */ rcu_read_unlock(); return NULL; } } rcu_read_unlock();  
struct file fastcall *fget(unsigned int fd){	struct file *file;	struct files_struct *files = current->files;	spin_lock(&files->file_lock);	file = fcheck_files(files, fd);	if (file)		get_file(file);	spin_unlock(&files->file_lock);	return file;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ab2af1f5005069321c5d130f09cce577b03f43ef/file_table.c/buggy/fs/file_table.c