VOID
MiSessionDeletePde(
  IN  PMMPTE Pde,
  IN  BOOLEAN WorkingSetInitialized,
  IN  PMMPTE SelfMapPde
  );

Routine Description:

    Used to delete a page directory entry from a session space.

Arguments:

    Pde - Supplies the page directory entry to delete.

    WorkingSetInitialized - Supplies TRUE if the working set has been
                            initialized.

    SelfMapPde - Supplies the page directory entry that contains the self map
                 session page.


Return Value:

    None.

Environment:

    Kernel mode.  PFN lock held.