On 14/11/2018 19:37, Julien Grall wrote: > > > 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)?
Bah - yes I did. ~Andrew _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
