private Thread(Arch.ArchThread impl, Process parent) { Contract.Requires(parent != null); Contract.Ensures(Parent == parent); Contract.Ensures(VBinderState.Owner == this); this.impl = impl; this.Parent = parent; this.TLSArray = Arch.NativeMethods.l4api_tls_array_alloc(); this.VBinderState = new VBinderThreadState(this); }
private Thread(Arch.ArchThread impl, Process parent) { Contract.Requires(parent != null); Contract.Ensures(Parent == parent); Contract.Ensures(VBinderState.Owner == this); this.impl = impl; this.Parent = parent; this.TLSArray = Arch.NativeMethods.l4api_tls_array_alloc(); this.VBinderState = new VBinderThreadState(this); }