diff --git a/ntoskrnl/mm/ARM3/pool.c b/ntoskrnl/mm/ARM3/pool.c
index 8ab8ae293a4..8e9fd90bc88 100644
--- a/ntoskrnl/mm/ARM3/pool.c
+++ b/ntoskrnl/mm/ARM3/pool.c
@@ -616,6 +616,7 @@ MiAllocatePoolPages(IN POOL_TYPE PoolType,
                 // Out of memory!
                 //
                 DPRINT1("FAILED to allocate %Iu bytes from paged pool\n", SizeInBytes);
+                ASSERT(0);
                 KeReleaseGuardedMutex(&MmPagedPoolMutex);
                 return NULL;
             }