diff --git a/Kernel/Memory/MemoryManager.h b/Kernel/Memory/MemoryManager.h
index b1c767c484..a7eebf530f 100644
--- a/Kernel/Memory/MemoryManager.h
+++ b/Kernel/Memory/MemoryManager.h
@@ -203,6 +203,7 @@ public:
     SystemMemoryInfo get_system_memory_info()
     {
         SpinlockLocker lock(s_mm_lock);
+        verify_system_memory_info_consistency();
         return m_system_memory_info;
     }
 
@@ -286,6 +287,12 @@ private:
     };
     void release_pte(PageDirectory&, VirtualAddress, IsLastPTERelease);
 
+    ALWAYS_INLINE void verify_system_memory_info_consistency() const
+    {
+        auto user_physical_pages_unused = m_system_memory_info.user_physical_pages_committed + m_system_memory_info.user_physical_pages_uncommitted;
+        VERIFY(m_system_memory_info.user_physical_pages == (m_system_memory_info.user_physical_pages_used + user_physical_pages_unused));
+    }
+
     RefPtr<PageDirectory> m_kernel_page_directory;
 
     RefPtr<PhysicalPage> m_shared_zero_page;