Searched refs:desired_empty_end (Results 1 – 1 of 1) sorted by relevance
443 vm_map_offset_t end, desired_empty_end; in vm_map_store_find_space_forward() local457 desired_empty_end = vm_map_round_page(end, map_mask); in vm_map_store_find_space_forward()459 if (start < orig_start || desired_empty_end < start || in vm_map_store_find_space_forward()460 highest_addr < desired_empty_end) { in vm_map_store_find_space_forward()469 if (desired_empty_end <= entry->vme_end) { in vm_map_store_find_space_forward()498 if (desired_empty_end <= next->vme_start) { in vm_map_store_find_space_forward()