free_pgd_range(*tlb, addr, vma->vm_end, floor, next? next->vm_start: ceiling); 
void free_pgtables(struct mmu_gather **tlb, struct vm_area_struct *vma,				unsigned long floor, unsigned long ceiling){	while (vma) {		struct vm_area_struct *next = vma->vm_next;		unsigned long addr = vma->vm_start;		/* Optimization: gather nearby vmas into a single call down */		while (next && next->vm_start <= vma->vm_end + PMD_SIZE) {			vma = next;			next = vma->vm_next;		}		free_pgd_range(*tlb, addr, vma->vm_end,				floor, next? next->vm_start: ceiling);		vma = next;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3bf5ee95648c694bac4d13529563c230cd4fe5f2/memory.c/clean/mm/memory.c