diff --git a/src/arch/x86_64/interrupt/ipi.rs b/src/arch/x86_64/interrupt/ipi.rs
index bc370e9..a8e3d11 100644
--- a/src/arch/x86_64/interrupt/ipi.rs
+++ b/src/arch/x86_64/interrupt/ipi.rs
@@ -1,4 +1,5 @@
 use core::sync::atomic::Ordering;
+use x86::shared::tlb;
 
 use context;
 use device::local_apic::LOCAL_APIC;
@@ -10,7 +11,8 @@ interrupt!(wakeup, {
 
 interrupt!(tlb, {
     LOCAL_APIC.eoi();
-    //TODO
+
+    tlb::flush_all();
 });
 
 interrupt!(switch, {