Searched refs:latchLevel (Results 1 – 1 of 1) sorted by relevance
529 latchLevel++; in Latch()546 DebugHelper.Assert(latchLevel > 0, "Tried to unlatch not latched handle"); in Unlatch()547 latchLevel--; in Unlatch()552 if(latchLevel == 0) in Unlatch()633 … innerLock.WaitWhile(() => latchLevel > 0, "Waiting for unlatching the time handle");879 private int latchLevel; field in Antmicro.Renode.Time.TimeHandle