summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Kling <awesomekling@gmail.com>2019-02-03 02:49:59 +0100
committerAndreas Kling <awesomekling@gmail.com>2019-02-03 02:49:59 +0100
commit3eeff0dd14852896982257f92336a2ee479987ae (patch)
tree233ae3fcbd80f3af57aedf7304b72bd99271a48f
parentc63d476da2e61810ccf30188c762a6ef76a3ae84 (diff)
downloadserenity-3eeff0dd14852896982257f92336a2ee479987ae.zip
Kernel: Improve crash info if page_in_from_inode() is called redundantly.
-rw-r--r--Kernel/MemoryManager.cpp5
1 files changed, 4 insertions, 1 deletions
diff --git a/Kernel/MemoryManager.cpp b/Kernel/MemoryManager.cpp
index 0c36befbfc..4abe285e26 100644
--- a/Kernel/MemoryManager.cpp
+++ b/Kernel/MemoryManager.cpp
@@ -304,7 +304,10 @@ bool MemoryManager::page_in_from_inode(Region& region, unsigned page_index_in_re
auto& vmo_page = vmo.physical_pages()[region.first_page_index() + page_index_in_region];
- ASSERT(vmo_page.is_null());
+ if (!vmo_page.is_null()) {
+ dbgprintf("MM: Redundant page_in_from_inode in %s(%u), inode=%u, [%u]\n", current->name().characters(), current->pid(), region.vmo().inode()->identifier().index(), page_index_in_region);
+ ASSERT_NOT_REACHED();
+ }
bool interrupts_were_enabled = are_interrupts_enabled();