update_hiwater_rss(mm); 
unsigned long zap_page_range(struct vm_area_struct *vma, unsigned long address,		unsigned long size, struct zap_details *details){	struct mm_struct *mm = vma->vm_mm;	struct mmu_gather *tlb;	unsigned long end = address + size;	unsigned long nr_accounted = 0;	if (is_vm_hugetlb_page(vma)) {		zap_hugepage_range(vma, address, size);		return end;	}	lru_add_drain();	spin_lock(&mm->page_table_lock);	tlb = tlb_gather_mmu(mm, 0);	end = unmap_vmas(&tlb, mm, vma, address, end, &nr_accounted, details);	tlb_finish_mmu(tlb, address, end);	spin_unlock(&mm->page_table_lock);	return end;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/365e9c87a982c03d0af3886e29d877f581b59611/memory.c/buggy/mm/memory.c