1.1 --- a/xen/arch/x86/acpi/power.c	Fri Jul 20 10:38:51 2007 +0100
     1.2 +++ b/xen/arch/x86/acpi/power.c	Fri Jul 20 10:41:31 2007 +0100
     1.3 @@ -119,9 +119,6 @@ static int enter_state(u32 state)
     1.4      if ( (state <= ACPI_STATE_S0) || (state > ACPI_S_STATES_MAX) )
     1.5          return -EINVAL;
     1.6  
     1.7 -    __sync_lazy_execstate();
     1.8 -    pmprintk(XENLOG_INFO, "Flush lazy state\n");
     1.9 -
    1.10      if ( !spin_trylock(&pm_lock) )
    1.11          return -EBUSY;
    1.12  

     2.1 --- a/xen/arch/x86/acpi/suspend.c	Fri Jul 20 10:38:51 2007 +0100
     2.2 +++ b/xen/arch/x86/acpi/suspend.c	Fri Jul 20 10:41:31 2007 +0100
     2.3 @@ -38,6 +38,7 @@ void restore_rest_processor_state(void)
     2.4      struct tss_struct *t = &init_tss[cpu];
     2.5      struct vcpu *v = current;
     2.6  
     2.7 +    /* Rewriting the TSS desc is necessary to clear the Busy flag. */
     2.8      set_tss_desc(cpu, t);
     2.9      load_TR(cpu);
    2.10