61             using(sync.HighPriority)  in Dispose()
78             using(sync.HighPriority)  in ObtainSourceActiveState()
90                 using(sync.HighPriority)  in ObtainSourceActiveState()
122             using(sync.HighPriority)  in Start()
145             using(sync.HighPriority)  in RequestSlavesStart()
168             using(sync.HighPriority)  in Stop()
237             using(sync.HighPriority)  in RegisterSink()
250 …public IEnumerable<ITimeSink> Sinks { get { using(sync.HighPriority) { return handles.Select(x => …
573             using(sync.HighPriority)  in ActivateSlavesSourceSide()
632                 using(sync.HighPriority)  in ResetVirtualTime()
686             using(sync.HighPriority)  in ExecuteWaitPhase()
819             public PrioritySynchronizer HighPriority  property in Antmicro.Renode.Time.TimeSourceBase.PrioritySynchronizer