public void AddIntoWorkingSet(UserPtr userPtr, Pointer virtualAddr) { workingSet.Add(userPtr, virtualAddr); }