xtoskrnl/mm/mmgr.cc

@@ -121,14 +121,17 @@ MM::Manager::InitializeMemoryManager(VOID)
     /* Initialize page table */
     MM::Pte::InitializePageTable();
 
-    /* Initialize non-paged pool */
-    MM::Allocator::InitializeNonPagedPool();
-
     /* Initialize system PTE space */
     MM::Pte::InitializeSystemPteSpace();
 
+    /* Initialize non-paged pool */
+    MM::Allocator::InitializeNonPagedPool();
+
     /* Initialize PFN database */
     MM::Pfn::InitializePfnDatabase();
+
+    /* Flush TLB */
+    AR::CpuFunc::FlushTlb();
 }
 
 /**