diff options
Diffstat (limited to 'Kernel/MemoryManager.cpp')
| -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(); |