diff --git a/ntoskrnl/mm/ARM3/contmem.c b/ntoskrnl/mm/ARM3/contmem.c
index e8895b0a2fe..5c58fa7c289 100644
--- a/ntoskrnl/mm/ARM3/contmem.c
+++ b/ntoskrnl/mm/ARM3/contmem.c
@@ -464,7 +464,7 @@ MiFreeContiguousMemory(IN PVOID BaseAddress)
     PFN_NUMBER PageFrameIndex, LastPage, PageCount;
     PMMPFN Pfn1, StartPfn;
     PMMPTE PointerPte;
-    PAGED_CODE();
+    ASSERT_IRQL_LESS_OR_EQUAL(DISPATCH_LEVEL);
 
     //
     // First, check if the memory came from initial nonpaged pool, or expansion