public AddressSpace(Process owner, Arch.ArchAddressSpace impl)
{
Contract.Ensures(GhostOwner == owner);
Contract.Ensures(Head.GhostOwner == GhostOwner);
this.impl = impl;
workingSet = new TableWorkingSet();
Head = MemoryRegion.CreateUserSpaceRegion(owner);
this.GhostOwner = owner;
}
public AddressSpace(Process owner, Arch.ArchAddressSpace impl)
{
Contract.Ensures(GhostOwner == owner);
Contract.Ensures(Head.GhostOwner == GhostOwner);
this.impl = impl;
this.workingSet = new TableWorkingSet();
this.Head = MemoryRegion.CreateUserSpaceRegion(owner);
this.GhostOwner = owner;
this.Brk = this.StartBrk = 0;
}