1. 2015-09-09 Re: [Xen-devel] [PATCH v6 04/31] xen/arm: Set nr_cpu_ xen-devel Ian Campbell 2. 2015-08-31 Re: [Xen-devel] [PATCH v6 04/31] xen/arm: Set nr_cpu_ xen-devel Julien Grall 3. 2015-08-31 [Xen-devel] [PATCH v6 04/31] xen/arm: Set nr_cpu_ids xen-devel vijay.kilari