diff options
Diffstat (limited to 'Kernel/VM/PhysicalPage.cpp')
| -rw-r--r-- | Kernel/VM/PhysicalPage.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Kernel/VM/PhysicalPage.cpp b/Kernel/VM/PhysicalPage.cpp index 957ab9007d..66c23db992 100644 --- a/Kernel/VM/PhysicalPage.cpp +++ b/Kernel/VM/PhysicalPage.cpp @@ -44,7 +44,7 @@ PhysicalPage::PhysicalPage(PhysicalAddress paddr, bool supervisor, bool may_retu void PhysicalPage::return_to_freelist() const { - ASSERT((paddr().get() & ~PAGE_MASK) == 0); + VERIFY((paddr().get() & ~PAGE_MASK) == 0); if (m_supervisor) MM.deallocate_supervisor_physical_page(*this); |