diff options
author | Andreas Kling <awesomekling@gmail.com> | 2019-02-03 02:49:59 +0100 |
---|---|---|
committer | Andreas Kling <awesomekling@gmail.com> | 2019-02-03 02:49:59 +0100 |
commit | 3eeff0dd14852896982257f92336a2ee479987ae (patch) | |
tree | 233ae3fcbd80f3af57aedf7304b72bd99271a48f | |
parent | c63d476da2e61810ccf30188c762a6ef76a3ae84 (diff) | |
download | serenity-3eeff0dd14852896982257f92336a2ee479987ae.zip |
Kernel: Improve crash info if page_in_from_inode() is called redundantly.
-rw-r--r-- | Kernel/MemoryManager.cpp | 5 |
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(); |