struct vm_area_struct *map = v; if (map && map != get_gate_vma(task)) { struct mm_struct *mm = map->vm_mm; 
struct vm_area_struct *vma = v; if (vma && vma != get_gate_vma(task)) { struct mm_struct *mm = vma->vm_mm; 
static void m_stop(struct seq_file *m, void *v){	struct task_struct *task = m->private;	struct vm_area_struct *map = v;	if (map && map != get_gate_vma(task)) {		struct mm_struct *mm = map->vm_mm;		up_read(&mm->mmap_sem);		mmput(mm);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e070ad49f31155d872d8e96cab2142840993e3c0/task_mmu.c/clean/fs/proc/task_mmu.c