x86: Actually mdelay() in machine_restart().

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/arch/x86/shutdown.c b/xen/arch/x86/shutdown.c
index c53fd3a1bf787d47eb20bd5677fb9c0b28cfb1bd..2e8c622963aad12a374d14f089a1e1f72e56fe39 100644 (file)
--- 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);