x86: Actually mdelay() in machine_restart().

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen-unstable changeset:   18234:87300352440be551f6ac8832d1d697b081f06ea4
xen-unstable date:        Tue Aug 05 09:25:10 2008 +0100

diff --git a/xen/arch/x86/shutdown.c b/xen/arch/x86/shutdown.c
index eb46801a6df300ef93fadd663e41e9a6474da14f..de0585ccade73811e407d49d6830a14e1ed0a76c 100644 (file)
--- a/xen/arch/x86/shutdown.c
+++ b/xen/arch/x86/shutdown.c
@@ -226,6 +226,8 @@ void machine_restart(unsigned int delay_millisecs)
 
     smp_send_stop();
 
+    mdelay(delay_millisecs);
+
     if ( tboot_in_measured_env() )
         tboot_shutdown(TB_SHUTDOWN_REBOOT);