1 files changed, 12 insertions, 0 deletions

diff --git a/arch/x86/kernel/process.c b/arch/x86/kernel/process.c
index 14ae10031ff0..aa524da03bba 100644
--- a/arch/x86/kernel/process.c
+++ b/arch/x86/kernel/process.c
@@ -336,6 +336,18 @@ void cpu_idle(void)
                         local_touch_nmi();
                         local_irq_disable();
 
+                        /*
+                         * We detected in the wakeup path that the
+                         * tick broadcast device expired for us, but
+                         * we raced with the other CPU and came back
+                         * here before it was able to fire the IPI.
+                         * No point in going idle.
+                         */
+                        if (tick_check_broadcast_expired()) {
+                                local_irq_enable();
+                                continue;
+                        }
+
                         enter_idle();
 
                         /* Don't trace irqs off for idle */