ia64/xen-unstable

changeset 18260:87300352440b

x86: Actually mdelay() in machine_restart().
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Tue Aug 05 09:25:10 2008 +0100 (2008-08-05)
parents 5569f833d162
children aea47e7e8c0d
files xen/arch/x86/shutdown.c
line diff
     1.1 --- a/xen/arch/x86/shutdown.c	Mon Aug 04 23:00:30 2008 +0100
     1.2 +++ b/xen/arch/x86/shutdown.c	Tue Aug 05 09:25:10 2008 +0100
     1.3 @@ -317,6 +317,8 @@ void machine_restart(unsigned int delay_
     1.4  
     1.5      smp_send_stop();
     1.6  
     1.7 +    mdelay(delay_millisecs);
     1.8 +
     1.9      if ( tboot_in_measured_env() )
    1.10          tboot_shutdown(TB_SHUTDOWN_REBOOT);
    1.11