struct vm_area_struct *map = v; struct vm_area_struct *tail_map = get_gate_vma(task); 
struct vm_area_struct *vma = v; struct vm_area_struct *tail_vma = get_gate_vma(task); 
static void *m_next(struct seq_file *m, void *v, loff_t *pos){	struct task_struct *task = m->private;	struct vm_area_struct *map = v;	struct vm_area_struct *tail_map = get_gate_vma(task);	(*pos)++;	if (map && (map != tail_map) && map->vm_next)		return map->vm_next;	m_stop(m, v);	return (map != tail_map)? tail_map: NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e070ad49f31155d872d8e96cab2142840993e3c0/task_mmu.c/buggy/fs/proc/task_mmu.c