From: Vijaya Kumar K <vijaya.ku...@caviumnetworks.com> nr_cpu_ids for arm platforms is set to NR_CPUS irrespective of number of cpus supported by platform.
Signed-off-by: Vijaya Kumar K <vijaya.ku...@caviumnetworks.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 6626eba..67b5f14 100644 --- a/xen/arch/arm/setup.c +++ b/xen/arch/arm/setup.c @@ -772,6 +772,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