diff options
| author | Andreas Kling <awesomekling@gmail.com> | 2019-12-01 16:03:24 +0100 |
|---|---|---|
| committer | Andreas Kling <awesomekling@gmail.com> | 2019-12-01 16:03:24 +0100 |
| commit | cde0a1eeb594cd69b2a2fb25c2c096ff7e1a2bc6 (patch) | |
| tree | 8c958978c7be86a8f8a83ce51e20089585e8685f | |
| parent | 5859e16e53e363b8d9424dfa3f19429b5673abbb (diff) | |
| download | serenity-cde0a1eeb594cd69b2a2fb25c2c096ff7e1a2bc6.zip | |
Kernel: Put some debug spam behind PAGE_FAULT_DEBUG
| -rw-r--r-- | Kernel/VM/MemoryManager.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
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; |