diff --git a/Kernel/VM/MemoryManager.cpp b/Kernel/VM/MemoryManager.cpp index 4d0795a059..e007e2cfec 100644 --- a/Kernel/VM/MemoryManager.cpp +++ b/Kernel/VM/MemoryManager.cpp @@ -309,10 +309,6 @@ extern "C" PageDirectoryEntry boot_pd3[1024]; UNMAP_AFTER_INIT void MemoryManager::initialize_physical_pages() { - // No physical memory region should be using any memory yet! - for (auto& region : m_user_physical_regions) - VERIFY(region.used() == 0); - // We assume that the physical page range is contiguous and doesn't contain huge gaps! PhysicalAddress highest_physical_address; for (auto& range : m_used_memory_ranges) { diff --git a/Kernel/VM/PhysicalRegion.cpp b/Kernel/VM/PhysicalRegion.cpp index da2f1ea8d3..0628bf99bd 100644 --- a/Kernel/VM/PhysicalRegion.cpp +++ b/Kernel/VM/PhysicalRegion.cpp @@ -73,7 +73,6 @@ unsigned PhysicalRegion::finalize_capacity() OwnPtr PhysicalRegion::try_take_pages_from_beginning(unsigned page_count) { - VERIFY(m_used == 0); VERIFY(page_count > 0); VERIFY(page_count < m_pages); auto taken_lower = m_lower; diff --git a/Kernel/VM/PhysicalRegion.h b/Kernel/VM/PhysicalRegion.h index 51bd5cb818..d59868488f 100644 --- a/Kernel/VM/PhysicalRegion.h +++ b/Kernel/VM/PhysicalRegion.h @@ -32,8 +32,6 @@ public: PhysicalAddress lower() const { return m_lower; } PhysicalAddress upper() const { return m_upper; } unsigned size() const { return m_pages; } - unsigned used() const { return m_used; } - unsigned free() const { return m_pages - m_used; } bool contains(PhysicalAddress paddr) const { return paddr >= m_lower && paddr <= m_upper; } OwnPtr try_take_pages_from_beginning(unsigned); @@ -47,8 +45,6 @@ private: NonnullOwnPtrVector m_zones; - size_t m_used { 0 }; - PhysicalAddress m_lower; PhysicalAddress m_upper; unsigned m_pages { 0 };