From: Vijaya Kumar K <vijaya.ku...@caviumnetworks.com> nr_cpu_ids for arm platforms is incorrectly set to NR_CPUS irrespective of the number of cpus supported by platform.
Signed-off-by: Vijaya Kumar K <vijaya.ku...@caviumnetworks.com> Reviewed-by: Julien Grall <julien.gr...@citrix.com> --- v6: - Updated nr_cpu_ids in setup.c instead of creating a helper function --- xen/arch/arm/setup.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/xen/arch/arm/setup.c b/xen/arch/arm/setup.c index 48f734f..2bb6274 100644 --- a/xen/arch/arm/setup.c +++ b/xen/arch/arm/setup.c @@ -771,6 +771,8 @@ void __init start_xen(unsigned long boot_phys_offset, smp_init_cpus(); cpus = smp_get_max_cpus(); + printk(XENLOG_INFO "SMP: Allowing %u CPUs\n", cpus); + nr_cpu_ids = cpus; init_xen_time(); -- 1.7.9.5 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel