unsigned long freed = tlb->freed; struct mm_struct *mm = tlb->mm; unsigned long rss = get_mm_counter(mm, rss);  if (rss < freed) freed = rss; add_mm_counter(mm, rss, -freed); 
tlb_finish_mmu (struct mmu_gather *tlb, unsigned long start, unsigned long end){	unsigned long freed = tlb->freed;	struct mm_struct *mm = tlb->mm;	unsigned long rss = get_mm_counter(mm, rss);	if (rss < freed)		freed = rss;	add_mm_counter(mm, rss, -freed);	/*	 * Note: tlb->nr may be 0 at this point, so we can't rely on tlb->start_addr and	 * tlb->end_addr.	 */	ia64_tlb_flush_mmu(tlb, start, end);	/* keep the page table cache within bounds */	check_pgt_cache();	put_cpu_var(mmu_gathers);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fc2acab31be8e869b2d5f6de12f557f6f054f19c/tlb.h/buggy/include/asm-ia64/tlb.h