diff --git a/Kernel/VM/MemoryManager.cpp b/Kernel/VM/MemoryManager.cpp index 5e5c5a9b88..5d42389498 100644 --- a/Kernel/VM/MemoryManager.cpp +++ b/Kernel/VM/MemoryManager.cpp @@ -327,7 +327,9 @@ PageFaultResponse MemoryManager::handle_page_fault(const PageFault& fault) auto& current_pde = current_page_directory[page_directory_index]; if (kernel_pde.is_present() && !current_pde.is_present()) { +#ifdef PAGE_FAULT_DEBUG dbg() << "NP(kernel): Copying new kernel mapping for " << fault.vaddr() << " into current page directory"; +#endif current_pde.copy_from({}, kernel_pde); flush_tlb(fault.vaddr().page_base()); return PageFaultResponse::Continue;