Searched refs:desired_empty_end (Results 1 – 1 of 1) sorted by relevance
487 vm_map_offset_t end, desired_empty_end; in vm_map_store_find_space_forward() local501 desired_empty_end = vm_map_round_page(end, map_mask); in vm_map_store_find_space_forward()503 if (start < orig_start || desired_empty_end < start || in vm_map_store_find_space_forward()504 highest_addr < desired_empty_end) { in vm_map_store_find_space_forward()513 if (desired_empty_end <= entry->vme_end) { in vm_map_store_find_space_forward()542 if (desired_empty_end <= next->vme_start) { in vm_map_store_find_space_forward()