diff --git a/kernel/fiasco/src/kern/kernel_thread.cpp b/kernel/fiasco/src/kern/kernel_thread.cpp
index 0b065c2f..053830d4 100644
--- a/kernel/fiasco/src/kern/kernel_thread.cpp
+++ b/kernel/fiasco/src/kern/kernel_thread.cpp
@@ -181,6 +181,7 @@ Kernel_thread::idle_op()
       arch_tickless_idle(cpu);
 
       enable_tlb(cpu);
+      Mem_unit::tlb_flush();
       Rcu::leave_idle(cpu);
       Timer_tick::enable(cpu);
     }