VOID
FASTCALL
MiRemoveWsle(
  IN  WSLE_NUMBER Entry,
  IN  PMMWSL WorkingSetList
  );

Routine Description:

    This routine removes a Working Set List Entry (WSLE) from the
    working set.

Arguments:

    Entry - The index number of the WSLE to remove.


Return Value:

    None.

Environment:

    Kernel mode, APCs disabled, Working Set Mutex held.