remove_vm_struct(vma); vma = next; 
vma = remove_vma(vma); 
static void remove_vma_list(struct mm_struct *mm, struct vm_area_struct *vma){	do {		struct vm_area_struct *next = vma->vm_next;		long nrpages = vma_pages(vma);		mm->total_vm -= nrpages;		if (vma->vm_flags & VM_LOCKED)			mm->locked_vm -= nrpages;		vm_stat_account(mm, vma->vm_flags, vma->vm_file, -nrpages);		remove_vm_struct(vma);		vma = next;	} while (vma);	validate_mm(mm);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a8fb5618dab7e45c8990f3155628d772a9ed45f9/mmap.c/clean/mm/mmap.c