//
ASSERT(KeGetCurrentIrql() == PASSIVE_LEVEL);
ASSERT(NumberOfPages != 0);
- ASSERT(NumberOfPages <= (MI_ZERO_PTES - 1));
+ ASSERT(NumberOfPages <= MI_ZERO_PTES);
//
// Pick the first zeroing PTE
//
// Reset the PTEs
//
- Offset = MI_ZERO_PTES - 1;
+ Offset = MI_ZERO_PTES;
PointerPte->u.Hard.PageFrameNumber = Offset;
KeFlushProcessTb();
}
//
ASSERT(KeGetCurrentIrql() == PASSIVE_LEVEL);
ASSERT (NumberOfPages != 0);
- ASSERT (NumberOfPages <= (MI_ZERO_PTES - 1));
+ ASSERT(NumberOfPages <= MI_ZERO_PTES);
//
// Get the first PTE for the mapped zero VA