VOID
MiDeleteAddressesInWorkingSet(
  IN  PEPROCESS Process
  );

Routine Description:

    This routine deletes all user mode addresses from the working set
    list.

Arguments:

    Process = Pointer to the current process.

Return Value:

    None.

Environment:

    Kernel mode, Working Set Lock held.