C# (CSharp) ExpressOS.Kernel TableWorkingSet.Removeの例

コード例 #1

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