1 files changed, 2 insertions, 1 deletions

diff --git a/arch/i386/kernel/doublefault.c b/arch/i386/kernel/doublefault.c
index 5edb1d379add..b4d14c2eb345 100644
--- a/arch/i386/kernel/doublefault.c
+++ b/arch/i386/kernel/doublefault.c
@@ -44,7 +44,8 @@ static void doublefault_fn(void)
                 }
         }
 
-        for (;;) /* nothing */;
+        for (;;)
+                cpu_relax();
 }
 
 struct tss_struct doublefault_tss __cacheline_aligned = {