diff options
| author | Andreas Kling <awesomekling@gmail.com> | 2018-10-23 15:53:11 +0200 |
|---|---|---|
| committer | Andreas Kling <awesomekling@gmail.com> | 2018-10-23 15:53:11 +0200 |
| commit | 44045b258cf83a8aa987ca7b2255c1382af060be (patch) | |
| tree | 65a97507c4808ff991221091467e4e73f08385fa /Kernel/MemoryManager.h | |
| parent | 3676214a6288ccaacd8bb29c7ef02c51bb05ff5d (diff) | |
| download | serenity-44045b258cf83a8aa987ca7b2255c1382af060be.zip | |
Teach MM to flush individual TLB entries only.
Diffstat (limited to 'Kernel/MemoryManager.h')
| -rw-r--r-- | Kernel/MemoryManager.h | 3 |
1 files changed, 2 insertions, 1 deletions
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); |