diff options
Diffstat (limited to 'Kernel/Memory')
| -rw-r--r-- | Kernel/Memory/MemoryManager.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Kernel/Memory/MemoryManager.cpp b/Kernel/Memory/MemoryManager.cpp index 7ccff188ca..25ebf1f048 100644 --- a/Kernel/Memory/MemoryManager.cpp +++ b/Kernel/Memory/MemoryManager.cpp @@ -933,6 +933,7 @@ RefPtr<PhysicalPage> MemoryManager::find_free_physical_page(bool committed) NonnullRefPtr<PhysicalPage> MemoryManager::allocate_committed_physical_page(Badge<CommittedPhysicalPageSet>, ShouldZeroFill should_zero_fill) { auto page = find_free_physical_page(true); + VERIFY(page); if (should_zero_fill == ShouldZeroFill::Yes) { InterruptDisabler disabler; auto* ptr = quickmap_page(*page); |