Exemple #1
0
 private void RemoveWorkingSet(Pointer vaddr, int size)
 {
     Contract.Ensures(Brk == Contract.OldValue(Brk));
     workingSet.Remove(this, new UserPtr(vaddr), new UserPtr(vaddr) + size);
 }