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)
MI_MAKE_SUBSECTION_PTE(&TempPte, PointerPte);
TestPte = MiSubsectionPteToSubsection(&TempPte);
ASSERT(PointerPte == TestPte);
+#endif
#endif
/* Loop all 8 standby lists */