Subject: [PATCH v2 1/3] xen/arm: Enable cpu_hotplug.c

From: [email-masked] (Julien Grall)
Date: Fri, 16 Oct 2015 17:40:16 +0100

Hi Stefano,

On 16/10/15 17:34, Stefano Stabellini wrote:
> Build cpu_hotplug for ARM and ARM64 guests.
> 
> Rename arch_(un)register_cpu to xen_(un)register_cpu and provide an
> empty implementation on ARM and ARM64. On x86 just call
> arch_(un)register_cpu as we are already doing.
> 
> Initialize cpu_hotplug on ARM.
> 
> Signed-off-by: Stefano Stabellini <[email-masked]>

Reviewed-by: Julien Grall <[email-masked]>

Regards,

-- 
Julien Grall