Searched refs:TotalTid (Results 1 – 1 of 1) sorted by relevance
195 uint64_t TotalTid = MaxTid + 1; in write() local202 J.attribute("tid", int64_t(TotalTid)); in write()213 ++TotalTid; in write()