From 44045b258cf83a8aa987ca7b2255c1382af060be Mon Sep 17 00:00:00 2001
From: Andreas Kling <awesomekling@gmail.com>
Date: Tue, 23 Oct 2018 15:53:11 +0200
Subject: Teach MM to flush individual TLB entries only.

---
 Kernel/MemoryManager.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Kernel/MemoryManager.h')

diff --git a/Kernel/MemoryManager.h b/Kernel/MemoryManager.h
index 916ae45337..7b1a607914 100644
--- a/Kernel/MemoryManager.h
+++ b/Kernel/MemoryManager.h
@@ -60,7 +60,8 @@ private:
     ~MemoryManager();
 
     void initializePaging();
-    void flushTLB();
+    void flushEntireTLB();
+    void flushTLB(LinearAddress);
 
     void protectMap(LinearAddress, size_t length);
     void identityMap(LinearAddress, size_t length);
-- 
cgit v1.2.3