diff --git a/xen/arch/x86/acpi/power.c b/xen/arch/x86/acpi/power.c
index 9e1f989..15494bc 100644
--- a/xen/arch/x86/acpi/power.c
+++ b/xen/arch/x86/acpi/power.c
@@ -30,6 +30,7 @@
 #include <asm/apic.h>
 #include <asm/io_apic.h>
 #include <acpi/cpufreq/cpufreq.h>
+#include <xen/softirq.h>
 
 uint32_t system_reset_counter = 1;
 
@@ -220,6 +221,7 @@ static int enter_state(u32 state)
     enable_nonboot_cpus();
     mtrr_aps_sync_end();
     acpi_dmar_zap();
+    raise_softirq(TIMER_SOFTIRQ);
     thaw_domains();
     system_state = SYS_STATE_active;
     spin_unlock(&pm_lock);