tree 137fb243e673c8fd71b117a96d6cec43c153abb0
parent 1c7a62137bb23bc8a2c05d1dad6105afa569b20e
author Stefano Stabellini <stefano.stabellini@eu.citrix.com> 1445530966 +0000
committer David Vrabel <david.vrabel@citrix.com> 1445606448 +0100

xen/arm: don't try to re-register vcpu_info on cpu_hotplug.

Call disable_percpu_irq on CPU_DYING and enable_percpu_irq when the cpu
is coming up.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Reviewed-by: Julien Grall <julien.grall@citrix.com>