int freed = tlb->freed; struct mm_struct *mm = tlb->mm; int 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){	int freed = tlb->freed;	struct mm_struct *mm = tlb->mm;	int rss = get_mm_counter(mm, rss);	if (rss < freed)		freed = rss;	add_mm_counter(mm, rss, -freed);	tlb_flush_mmu(tlb, start, end);	/* keep the page table cache within bounds */	check_pgt_cache();	put_cpu_var(mmu_gathers);}