2443     _In_ PMMPTE FirstPte,  in MiSetSystemCodeProtection()  argument
2451     for (PointerPte = FirstPte; PointerPte <= LastPte; PointerPte++)  in MiSetSystemCodeProtection()
2459 …   DPRINT1("CORE-16449: FirstPte=%p, LastPte=%p, Protection=%lx\n", FirstPte, LastPte, Protection);  in MiSetSystemCodeProtection()
2490     PMMPTE FirstPte, LastPte;  in MiWriteProtectSystemImage()  local
2528     FirstPte = MiAddressToPte(ImageBase);  in MiWriteProtectSystemImage()
2531     if (LastPte >= FirstPte)  in MiWriteProtectSystemImage()
2533         MiSetSystemCodeProtection(FirstPte, LastPte, Protection);  in MiWriteProtectSystemImage()
2545         FirstPte = MiAddressToPte(SectionBase);  in MiWriteProtectSystemImage()
2548         if (FirstPte == LastPte)  in MiWriteProtectSystemImage()
2554             MiSetSystemCodeProtection(FirstPte, FirstPte, Protection);  in MiWriteProtectSystemImage()
2557             FirstPte++;  in MiWriteProtectSystemImage()
2561         NT_ASSERT(FirstPte == (LastPte + 1));  in MiWriteProtectSystemImage()
2569         if (LastPte < FirstPte)  in MiWriteProtectSystemImage()
2571             NT_ASSERT(FirstPte == (LastPte + 1));  in MiWriteProtectSystemImage()
2579         MiSetSystemCodeProtection(FirstPte, LastPte, Protection);  in MiWriteProtectSystemImage()