From 39dd47cebbca33850ffadcd9c55d4a89da88a8bd Mon Sep 17 00:00:00 2001
From: Ivan Labutin <linuxrf@gmail.com>
Date: Fri, 10 Nov 2017 01:30:57 +0300
Subject: [PATCH] [NTOS:MM] Comment out debug code for x86 that should not run
 on x64

---
 ntoskrnl/mm/ARM3/mminit.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ntoskrnl/mm/ARM3/mminit.c b/ntoskrnl/mm/ARM3/mminit.c
index c92db6ca1d2..0ed42eb14a1 100644
--- a/ntoskrnl/mm/ARM3/mminit.c
+++ b/ntoskrnl/mm/ARM3/mminit.c
@@ -2118,6 +2118,7 @@ MmArmInitSystem(IN ULONG Phase,
         TestPte = MiProtoPteToPte(&TempPte);
         ASSERT(PointerPte == TestPte);
 
+#ifndef _M_AMD64 // Not working on x64 for obvoius reason
         /* Try a bunch of random addresses near the end of the address space */
         PointerPte = (PMMPTE)0xFFFC8000;
         for (j = 0; j < 20; j += 1)
@@ -2133,6 +2134,7 @@ MmArmInitSystem(IN ULONG Phase,
         MI_MAKE_SUBSECTION_PTE(&TempPte, PointerPte);
         TestPte = MiSubsectionPteToSubsection(&TempPte);
         ASSERT(PointerPte == TestPte);
+#endif
 #endif
 
         /* Loop all 8 standby lists */