Searched refs:UpdateHandle (Results 1 – 2 of 2) sorted by relevance
70 UpdateHandle(currentNode); in UnlatchAll()93 public void UpdateHandle(LinkedListNode<TimeHandle> handle) in UpdateHandle() method in Antmicro.Renode.Time.HandlesCollection
688 handles.UpdateHandle(handle); in ExecuteWaitPhase()