Re: [Xen-devel] [PATCH v4 4/5] xen/domain: Allocate d->vcpu[] earlier during domain_create()

[Julien Grall <julien.grall@xxxxxxx>]

On 14/11/2018 19:36, Andrew Cooper wrote:
> +    /* max_vcpus depends on the GIC version, and Xen's compiled limit. */
> +    max_vcpus = max(vgic_max_vcpus(config->arch.gic_version), MAX_VIRT_CPUS);
Did you mean min(vgic, MAX_VIRT_CPUS)?

Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel