vm_map_max
if (kernel_vm_end - 1 >= vm_map_max(kernel_map)) {
kernel_vm_end = vm_map_max(kernel_map);
if (kend - 1 >= vm_map_max(kernel_map))
kend = vm_map_max(kernel_map);
if (kstart - 1 >= vm_map_max(kernel_map)) {
kstart = vm_map_max(kernel_map);
if (kstart - 1 >= vm_map_max(kernel_map)) {
kstart = vm_map_max(kernel_map);
if (kernel_vm_end - 1 >= vm_map_max(kernel_map)) {
kernel_vm_end = vm_map_max(kernel_map);
if (addr - 1 >= vm_map_max(kernel_map))
addr = vm_map_max(kernel_map);
if (kernel_vm_end - 1 >= vm_map_max(kernel_map)) {
kernel_vm_end = vm_map_max(kernel_map);
if (kernel_vm_end - 1 >= vm_map_max(kernel_map)) {
kernel_vm_end = vm_map_max(kernel_map);
if ((vm_offset_t)addr + len > vm_map_max(kernel_map) ||
if (vm_map_max(map) - vm_map_min(map) < size) {
if ((start < vm_map_min(map)) || (end > vm_map_max(map)) ||
if (start > vm_map_max(map))
if (end > vm_map_max(map) || end < start)
if (end > vm_map_max(map)) \
end = vm_map_max(map); \
tsize = vm_map_max(smap) - offset;
hole_start = vm_map_max(map);
vm_map_max(map) - hole_start);
vm2 = vmspace_alloc(vm_map_min(old_map), vm_map_max(old_map));
newvmspace = vmspace_alloc(vm_map_min(map), vm_map_max(map));
vm_map_max(&vm->vm_map),
vm_map_max(map) = max_addr;