| commit | cb9644bf3b549d20656cca02e8a6332c67cf37d6 | [log] [tgz] |
|---|---|---|
| author | Stefano Stabellini <stefano.stabellini@eu.citrix.com> | Thu Oct 22 16:22:46 2015 +0000 |
| committer | David Vrabel <david.vrabel@citrix.com> | Fri Oct 23 14:20:48 2015 +0100 |
| tree | 137fb243e673c8fd71b117a96d6cec43c153abb0 | |
| parent | 1c7a62137bb23bc8a2c05d1dad6105afa569b20e [diff] |
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>