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

Routine Description:

    This function releases the specified number of PTEs
    within the non paged portion of system space.

    Note that the PTEs must be invalid and the page frame number
    must have been set to zero.

Arguments:

    StartingPte - Supplies the address of the first PTE to release.

    NumberOfPtes - Supplies the number of PTEs to release.

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

Return Value:

    none.

Environment:

    Kernel mode.