VOID
MiInitializeSystemPtes(
  IN  PMMPTE StartingPte,
  IN  ULONG NumberOfPtes,
  IN  MMSYSTEM_PTE_POOL_TYPE SystemPtePoolType
  );

Routine Description:

    This routine initializes the system PTE pool.

Arguments:

    StartingPte - Supplies the address of the first PTE to put in the pool.

    NumberOfPtes - Supplies the number of PTEs to put in the pool.

    SystemPtePoolType - Supplies the PTE type of the pool to initialize, one of
                        SystemPteSpace or NonPagedPoolExpansion.

Return Value:

    none.

Environment:

    Kernel mode.