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