One part of vmmap_find_range
vmmap_find_range
vmmap_is_range_empty and added some KASSERT