update_hiwater_rss(mm); 
static void unmap_region(struct mm_struct *mm,		struct vm_area_struct *vma, struct vm_area_struct *prev,		unsigned long start, unsigned long end){	struct vm_area_struct *next = prev? prev->vm_next: mm->mmap;	struct mmu_gather *tlb;	unsigned long nr_accounted = 0;	lru_add_drain();	spin_lock(&mm->page_table_lock);	tlb = tlb_gather_mmu(mm, 0);	unmap_vmas(&tlb, mm, vma, start, end, &nr_accounted, NULL);	vm_unacct_memory(nr_accounted);	free_pgtables(&tlb, vma, prev? prev->vm_end: FIRST_USER_ADDRESS,				 next? next->vm_start: 0);	tlb_finish_mmu(tlb, start, end);	spin_unlock(&mm->page_table_lock);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/365e9c87a982c03d0af3886e29d877f581b59611/mmap.c/buggy/mm/mmap.c