diff options
Diffstat (limited to 'Kernel/Memory/Region.cpp')
| -rw-r--r-- | Kernel/Memory/Region.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Kernel/Memory/Region.cpp b/Kernel/Memory/Region.cpp index dcaa9de2b3..03e77f69cc 100644 --- a/Kernel/Memory/Region.cpp +++ b/Kernel/Memory/Region.cpp @@ -280,7 +280,6 @@ void Region::unmap_with_locks_held(ShouldFlushTLB should_flush_tlb, SpinlockLock void Region::set_page_directory(PageDirectory& page_directory) { VERIFY(!m_page_directory || m_page_directory == &page_directory); - VERIFY(s_mm_lock.is_locked_by_current_processor()); m_page_directory = page_directory; } |