From 37adc8f09afa8f48bdaa10b38856193f456f67ad Mon Sep 17 00:00:00 2001
From: Keir Fraser <keir.fraser@citrix.com>
Date: Tue, 5 Aug 2008 09:25:10 +0100
Subject: [PATCH] x86: Actually mdelay() in machine_restart(). Signed-off-by:
 Keir Fraser <keir.fraser@citrix.com>

---
 xen/arch/x86/shutdown.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/xen/arch/x86/shutdown.c b/xen/arch/x86/shutdown.c
index c53fd3a1bf..2e8c622963 100644
--- a/xen/arch/x86/shutdown.c
+++ b/xen/arch/x86/shutdown.c
@@ -317,6 +317,8 @@ void machine_restart(unsigned int delay_millisecs)
 
     smp_send_stop();
 
+    mdelay(delay_millisecs);
+
     if ( tboot_in_measured_env() )
         tboot_shutdown(TB_SHUTDOWN_REBOOT);
 
-- 
2.30.2