158 	iommu_gaddr_t bound, delta, free_down;  in iommu_gas_augment_entry()  local
160 	free_down = 0;  in iommu_gas_augment_entry()
163 		free_down = MAX(child->free_down, bound - child->last);  in iommu_gas_augment_entry()
170 		free_down = MAX(free_down, child->free_down);  in iommu_gas_augment_entry()
171 		free_down = MAX(free_down, child->first - bound);  in iommu_gas_augment_entry()
176 		delta = entry->free_down - free_down;  in iommu_gas_augment_entry()
178 	entry->free_down = free_down;  in iommu_gas_augment_entry()
205 			v = MAX(v, l->free_down);  in iommu_gas_check_free()
209 			v = MAX(v, r->free_down);  in iommu_gas_check_free()
212 		MPASS(entry->free_down == v);  in iommu_gas_check_free()
387 	    next->free_down >= min_free) {  in iommu_gas_next()
392 		    next->free_down >= min_free);  in iommu_gas_next()
429 	while (first != NULL && first->free_down < min_free)  in iommu_gas_find_space()
451 	while (first != NULL && first->free_down < min_free)  in iommu_gas_find_space()
490 	while (curr != NULL && curr->free_down >= min_free) {  in iommu_gas_find_space()
1095 		    (uintmax_t)entry->free_down);  in iommu_debug_dump_gas()