Searched refs:guid (Results 1 – 1 of 1) sorted by relevance
817 return "renode-sharedSegment-" + guid.Value.ToString();835 … guid = Guid.NewGuid(); // generate a Guid to be used in a unique filename for this segment in Allocate()852 if(!disposed && guid != null) in Free()867 guid = null; in Free()875 private Nullable<Guid> guid; field in Antmicro.Renode.Peripherals.Memory.MappedMemory.SharedSegment