VOID
MiUpdateWsle(
  IN OUT PWSLE_NUMBER DesiredIndex,
  IN  PVOID VirtualAddress,
      PMMWSL WorkingSetList,
  IN  PMMPFN Pfn
  );

Routine Description:

    This routine updates a reserved working set entry to place it into
    the valid state.

Arguments:

    DesiredIndex - Supplies the index of the working set entry to update.

    VirtualAddress - Supplies the virtual address which the working set
                     entry maps.

    WsInfo - Supplies a pointer to the working set info block for the
             process (or system cache).

    Pfn - Supplies a pointer to the PFN element for the page.

Return Value:

    None.

Environment:

    Kernel mode, APCs disabled, working set lock held and PFN lock held.