1175   static VTS *CreateSingleton(TID tid, int32_t clk = 1) {  in CreateSingleton()  argument
1178     res->arr_[0].clk = clk;  in CreateSingleton()
1195         res->arr_[i].clk++;  in CopyAndTick()
1222         if (a->clk >= b->clk) {  in Join()
1250   int32_t clk(TID tid) const {  in clk()  function in VTS
1255         return arr_[i].clk;  in clk()
1297         if (a->clk > b->clk) return false;  in HappensBefore()
1298         if (a->clk < b->clk) a_less_than_b = true;  in HappensBefore()
1323       snprintf(buff, sizeof(buff), "%d:%d;", arr_[i].tid, arr_[i].clk);  in ToString()
1388     int tid = 0, clk = 0;  in Parse()
1390     while (sscanf(str, "%d:%d;%n", &tid, &clk, &consumed) > 0) {  in Parse()
1393       ts.clk = clk;  in Parse()
1432     int32_t clk;  member
1478         return clock_[i].clk;  in clock()
1484   void update(TID tid, int32_t clk) {  in update()  argument
1487         clock_[i].clk = clk;  in update()
1494     clock_[size_ - 1].clk = clk;  in update()
1500     int32_t clk;  member
5306     int32_t clk;  member
8809   hist.clk = thr->vts()->clk(thr->tid());  in HandleWrite()
8876            (unsigned)hist.clk, (unsigned long long)hist.val,  in HandleRead()
8877            (unsigned)thr->vts()->clk(hist.tid));  in HandleRead()
8898     } else if (thr->vts()->clk(hist.tid) >= hist.clk) {  in HandleRead()
8973     hist.clk = 0;  in AtomicFixHist()
8989     hist[i].clk = -1;  in reset()