# HG changeset patch
# User Keir Fraser <keir.fraser@citrix.com>
# Date 1217924710 -3600
# Node ID 87300352440be551f6ac8832d1d697b081f06ea4
# Parent  5569f833d162a4a8f4b7413584134b3d8c6c0b39
x86: Actually mdelay() in machine_restart().
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff -r 5569f833d162 -r 87300352440b xen/arch/x86/shutdown.c
--- a/xen/arch/x86/shutdown.c	Mon Aug 04 23:00:30 2008 +0100
+++ b/xen/arch/x86/shutdown.c	Tue Aug 05 09:25:10 2008 +0100
@@ -317,6 +317,8 @@ void machine_restart(unsigned int delay_
 
     smp_send_stop();
 
+    mdelay(delay_millisecs);
+
     if ( tboot_in_measured_env() )
         tboot_shutdown(TB_SHUTDOWN_REBOOT);