237 				unsigned long floor, unsigned long ceiling)  in free_pmd_range()  argument
253 	if (start < floor)  in free_pmd_range()
271 				unsigned long floor, unsigned long ceiling)  in free_pud_range()  argument
283 		free_pmd_range(tlb, pud, addr, next, floor, ceiling);  in free_pud_range()
287 	if (start < floor)  in free_pud_range()
305 				unsigned long floor, unsigned long ceiling)  in free_p4d_range()  argument
317 		free_pud_range(tlb, p4d, addr, next, floor, ceiling);  in free_p4d_range()
321 	if (start < floor)  in free_p4d_range()
341 			unsigned long floor, unsigned long ceiling)  in free_pgd_range()  argument
373 	if (addr < floor) {  in free_pgd_range()
397 		free_p4d_range(tlb, pgd, addr, next, floor, ceiling);  in free_pgd_range()
402 		unsigned long floor, unsigned long ceiling)  in free_pgtables()  argument
417 				floor, next ? next->vm_start : ceiling);  in free_pgtables()
430 				floor, next ? next->vm_start : ceiling);  in free_pgtables()