x86: machine_halt() forcibly re-enables IRQs as it may be called from

panic() which itself may be called in an IRQ-safe critical section.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

1 files changed, 1 insertions, 0 deletions

diff --git a/xen/arch/x86/shutdown.c b/xen/arch/x86/shutdown.c
index 6b41e739eb..a65771575f 100644
--- a/xen/arch/x86/shutdown.c
+++ b/xen/arch/x86/shutdown.c
@@ -90,6 +90,7 @@ void machine_halt(void)
 {
     watchdog_disable();
     console_start_sync();
+    local_irq_enable();
     smp_call_function(__machine_halt, NULL, 1, 0);
     __machine_halt(NULL);
 }