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@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
