spin_unlock(&files->file_lock); 
rcu_read_unlock(); 
static int proc_fd_link(struct inode *inode, struct dentry **dentry, struct vfsmount **mnt){	struct task_struct *task = proc_task(inode);	struct files_struct *files;	struct file *file;	int fd = proc_type(inode) - PROC_TID_FD_DIR;	files = get_files_struct(task);	if (files) {		spin_lock(&files->file_lock);		file = fcheck_files(files, fd);		if (file) {			*mnt = mntget(file->f_vfsmnt);			*dentry = dget(file->f_dentry);			spin_unlock(&files->file_lock);			put_files_struct(files);			return 0;		}		spin_unlock(&files->file_lock);		put_files_struct(files);	}	return -ENOENT;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b835996f628eadb55c5fb222ba46fe9395bf73c7/base.c/buggy/fs/proc/base.c