diff --git a/sys/dev/xen/control/control.c b/sys/dev/xen/control/control.c
index 6a351d831ec..c7bd8c27b29 100644
--- a/sys/dev/xen/control/control.c
+++ b/sys/dev/xen/control/control.c
@@ -260,7 +260,7 @@ xctrl_suspend()
 #ifdef SMP
 	/* Send an IPI_BITMAP in case there are pending bitmap IPIs. */
 	lapic_ipi_vectored(IPI_BITMAP_VECTOR, APIC_IPI_DEST_ALL);
-	if (smp_started && !CPU_EMPTY(&cpu_suspend_map)) {
+	if (!CPU_EMPTY(&cpu_suspend_map)) {
 		/*
 		 * Now that event channels have been initialized,
 		 * resume CPUs.