diff --git a/reactos/ntoskrnl/mm/ARM3/miarm.h b/reactos/ntoskrnl/mm/ARM3/miarm.h
index 8658979bea4..a1ec45d89df 100644
--- a/reactos/ntoskrnl/mm/ARM3/miarm.h
+++ b/reactos/ntoskrnl/mm/ARM3/miarm.h
@@ -33,6 +33,9 @@
 #define MI_NONPAGED_POOL_END                    (PVOID)0xFFBE0000
 #define MI_DEBUG_MAPPING                        (PVOID)0xFFBFF000
 
+// on AMD64 this would be MiAddressToPte(MM_KSEG0_BASE)
+#define MI_SYSTEM_PTE_BASE                      (PVOID)MiAddressToPte(NULL)
+
 #define MI_MIN_SECONDARY_COLORS                 8
 #define MI_SECONDARY_COLORS                     64
 #define MI_MAX_SECONDARY_COLORS                 1024
diff --git a/reactos/ntoskrnl/mm/ARM3/syspte.c b/reactos/ntoskrnl/mm/ARM3/syspte.c
index bbb385e5702..a70ebda3c07 100644
--- a/reactos/ntoskrnl/mm/ARM3/syspte.c
+++ b/reactos/ntoskrnl/mm/ARM3/syspte.c
@@ -378,7 +378,7 @@ MiInitializeSystemPtes(IN PMMPTE StartingPte,
     //
     // Set the starting and ending PTE addresses for this space
     //
-    MmSystemPteBase = (PVOID)PTE_BASE;
+    MmSystemPteBase = MI_SYSTEM_PTE_BASE;
     MmSystemPtesStart[PoolType] = StartingPte;
     MmSystemPtesEnd[PoolType] = StartingPte + NumberOfPtes - 1;
     DPRINT("System PTE space for %d starting at: %p and ending at: %p\n",