if (!ret) { struct seq_file *m = file->private_data; struct namespace *namespace; task_lock(task); namespace = task->namespace; if (namespace) get_namespace(namespace); task_unlock(task); 
task_lock(task); namespace = task->namespace; if (namespace) get_namespace(namespace); task_unlock(task); 
static int mounts_open(struct inode *inode, struct file *file){	struct task_struct *task = proc_task(inode);	int ret = seq_open(file, &mounts_op);	if (!ret) {		struct seq_file *m = file->private_data;		struct namespace *namespace;		task_lock(task);		namespace = task->namespace;		if (namespace)			get_namespace(namespace);		task_unlock(task);		if (namespace)			m->private = namespace;		else {			seq_release(inode, file);			ret = -EINVAL;		}	}	return ret;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5addc5dd8836aa061f6efc4a0d9ba6323726297a/base.c/buggy/fs/proc/base.c