From 02e21de20afb46792d0bf03b11b49f198dee1d05 Mon Sep 17 00:00:00 2001
From: Andreas Kling <awesomekling@gmail.com>
Date: Sat, 1 Jun 2019 17:25:36 +0200
Subject: [PATCH] VM: Always flush TLB for kernel page directory changes.

Since the kernel page directory is inherited by all other page directories,
we should always flush the TLB when it's updated.
---
 Kernel/VM/PageDirectory.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Kernel/VM/PageDirectory.cpp b/Kernel/VM/PageDirectory.cpp
index befd020ce4..0d7c948818 100644
--- a/Kernel/VM/PageDirectory.cpp
+++ b/Kernel/VM/PageDirectory.cpp
@@ -32,6 +32,6 @@ void PageDirectory::flush(LinearAddress laddr)
 #endif
     if (!current)
         return;
-    if (&current->process().page_directory() == this)
+    if (this == &MM.kernel_page_directory() || &current->process().page_directory() == this)
         MM.flush_tlb(laddr);
 }