From b08fa102777849e0c97b0292815bf12f58f0ceaa Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Tue, 25 Sep 2018 20:57:59 -0600
Subject: [PATCH] Implement tlb IPI

---
 src/arch/x86_64/interrupt/ipi.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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, {