Searched refs:currentStampLevel (Results 1 – 1 of 1) sorted by relevance
1603 currentStampLevel++; in CollectGarbageStamp()1604 if(currentStampLevel != 1) in CollectGarbageStamp()1614 currentStampLevel--; in CollectGarbage()1615 if(currentStampLevel != 0) in CollectGarbage()1776 private int currentStampLevel; field in Antmicro.Renode.Core.Machine