[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

To: Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>, <xen-devel@xxxxxxxxxxxxxxxxxxx>
From: Julien Grall <julien.grall@xxxxxxxxxx>
Date: Wed, 21 Oct 2015 12:55:41 +0100
Cc: linux-arm-kernel@xxxxxxxxxxxxxxxxxxx
Delivery-date: Wed, 21 Oct 2015 11:57:11 +0000
List-id: Xen developer discussion <xen-devel.lists.xen.org>

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 <stefano.stabellini@xxxxxxxxxxxxx>

Reviewed-by: Julien Grall <julien.grall@xxxxxxxxxx>

Regards,

-- 
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel

References:
- [Xen-devel] [PATCH v4] xen,arm: enable cpu_hotplug
  - From: Stefano Stabellini
- [Xen-devel] [PATCH v4 3/3] xen/arm: don't try to re-register vcpu_info on cpu_hotplug.
  - From: Stefano Stabellini

Prev by Date: [Xen-devel] [PATCH v4 2/3] xen, cpu_hotplug: call device_offline instead of cpu_down
Next by Date: [Xen-devel] [PATCH] tools/xenpaging: install directory with default permission
Previous by thread: [Xen-devel] [PATCH v4 3/3] xen/arm: don't try to re-register vcpu_info on cpu_hotplug.
Next by thread: [Xen-devel] [PATCH v4 2/3] xen, cpu_hotplug: call device_offline instead of cpu_down
Index(es):
- Date
- Thread

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.