Hi Vijay,
On 27/07/15 12:11, vijay.kil...@gmail.com wrote:
> From: Vijaya Kumar K
>
> nr_cpu_ids for arm platforms is set to 128 irrespective of
NIT: s/128/NR_CPUS/
> number of cpus supported by platform.
>
> Signed-off-by: Vijaya Kumar K
> ---
> xen/arch/arm/setup.c |1 +
> xen/ar
From: Vijaya Kumar K
nr_cpu_ids for arm platforms is set to 128 irrespective of
number of cpus supported by platform.
Signed-off-by: Vijaya Kumar K
---
xen/arch/arm/setup.c |1 +
xen/arch/arm/smpboot.c| 11 +++
xen/include/asm-arm/smp.h |1 +
3 files changed, 13 inse
