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>

diff --git a/xen/arch/x86/shutdown.c b/xen/arch/x86/shutdown.c
index 6b41e739eb3dbcafe0daa7f634fe7543f79338a2..a65771575f518540eeb57dacd528e3abde2e953c 100644 (file)
--- 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);
 }