Subject: [Xen-devel] [PATCH v4 3/3] xen/arm: don't try to re-register vcpu_info on cpu_hotplug.

From: [email-masked] (Julien Grall)
Date: Wed, 21 Oct 2015 12:55:41 +0100

Hi Stefano,

On 21/10/15 12:53, Stefano Stabellini wrote:
> Call disable_percpu_irq on CPU_DYING and enable_percpu_irq when the cpu
> is coming up.
> 
> Signed-off-by: Stefano Stabellini <[email-masked]>

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

Regards,

-- 
Julien Grall