Function vmx_vmspace_alloc

freebsd/amd64/vmm/intel/vmx.c:3622–3626

}

static struct vmspace *
vmx_vmspace_alloc(vm_offset_t min, vm_offset_t max)
{
	return (ept_vmspace_alloc(min, max));
}

static void
vmx_vmspace_free(struct vmspace *vmspace)