vmspace_alloc
vm = vmspace_alloc(vmin, vmax);
efi_vmspace = vmspace_alloc(VM_MIN_USER_ADDRESS, VM_MAX_USER_ADDRESS);
struct vmspace *vmspace_alloc(vm_offset_t, vm_offset_t);
vm2 = vmspace_alloc(vm_map_min(old_map), vm_map_max(old_map));
newvmspace = vmspace_alloc(vm_map_min(map), vm_map_max(map));
ve->vmspace = vmspace_alloc(VM_MIN_USER_ADDRESS, VM_MAX_USER_ADDRESS);