107 typedef  UInt  VtsID;  typedef
291    VtsID viR;
292    VtsID viW;
343    VtsID viR; /* r-clock of sender */
344    VtsID viW; /* w-clock of sender */
365 static void VtsID__rcinc ( VtsID ii );
366 static void VtsID__rcdec ( VtsID ii );
369 static inline VtsID SVal__unC_Rmin ( SVal s );
370 static inline VtsID SVal__unC_Wmin ( SVal s );
371 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );
2095       VtsID    id;
2766          VtsID freelink; /* chain for free entries, VtsID_INVALID at end */
2767          VtsID remap;    /* used only during pruning, for used entries */
2780 static VtsID vts_tab_freelist = VtsID_INVALID;
2795 static void add_to_free_list ( VtsID ii )  in add_to_free_list()
2807 static VtsID get_from_free_list ( void )  in get_from_free_list()
2809    VtsID  ii;  in get_from_free_list()
2823 static VtsID get_new_VtsID ( void )  in get_new_VtsID()
2825    VtsID ii;  in get_new_VtsID()
2833    ii = (VtsID)VG_(addToXA)( vts_tab, &te );  in get_new_VtsID()
2839 static void VtsID__rcinc ( VtsID ii )  in VtsID__rcinc()
2851 static void VtsID__rcdec ( VtsID ii )  in VtsID__rcdec()
2867 static VtsID vts_tab__find__or__clone_and_add ( VTS* cand )  in vts_tab__find__or__clone_and_add()
2881       VtsID  ii = get_new_VtsID();  in vts_tab__find__or__clone_and_add()
2924                    VtsID* ii )  in remap_VtsID()
2927    VtsID old_id, new_id;  in remap_VtsID()
2947       VtsID rMin, wMin;  in remap_VtsIDs_in_SVal()
3108    VtsID new_VtsID_ctr = 0;  in vts_tab__do_GC()
3376 static inline UInt hash_VtsIDs ( VtsID vi1, VtsID vi2, UInt nTab ) {  in hash_VtsIDs()
3383    struct { VtsID vi1; VtsID vi2; Bool leq; }
3388    struct { VtsID vi1; VtsID vi2; VtsID res; }
3417 static VTS* VtsID__to_VTS ( VtsID vi ) {  in VtsID__to_VTS()
3423 static void VtsID__pp ( VtsID vi ) {  in VtsID__pp()
3430 static Bool VtsID__cmpLEQ_WRK ( VtsID vi1, VtsID vi2 ) {  in VtsID__cmpLEQ_WRK()
3454 static inline Bool VtsID__cmpLEQ ( VtsID vi1, VtsID vi2 ) {  in VtsID__cmpLEQ()
3460 static VtsID VtsID__join2_WRK ( VtsID vi1, VtsID vi2 ) {  in VtsID__join2_WRK()
3462    VtsID res;  in VtsID__join2_WRK()
3486 static inline VtsID VtsID__join2 ( VtsID vi1, VtsID vi2 ) {  in VtsID__join2()
3491 static VtsID VtsID__mk_Singleton ( Thr* thr, ULong tym ) {  in VtsID__mk_Singleton()
3498 static VtsID VtsID__tick ( VtsID vi, Thr* idx ) {  in VtsID__tick()
3506 static ULong VtsID__indexAt ( VtsID vi, Thr* idx ) {  in VtsID__indexAt()
3516 static Thr* VtsID__findFirst_notLEQ ( VtsID vi1, VtsID vi2 )  in VtsID__findFirst_notLEQ()
4132 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini ) {  in SVal__mkC()
4137 static inline VtsID SVal__unC_Rmin ( SVal s ) {  in SVal__unC_Rmin()
4139    return (VtsID)(s >> 32);  in SVal__unC_Rmin()
4141 static inline VtsID SVal__unC_Wmin ( SVal s ) {  in SVal__unC_Wmin()
4143    return (VtsID)(s & 0xFFFFFFFFULL);  in SVal__unC_Wmin()
4980                                VtsID Cfailed,  in record_race_info()
4981                                VtsID Kfailed,  in record_race_info()
4982                                VtsID Cw )  in record_race_info()
5118       VtsID tviR  = acc_thr->viR;  in msmcread()
5119       VtsID tviW  = acc_thr->viW;  in msmcread()
5120       VtsID rmini = SVal__unC_Rmin(svOld);  in msmcread()
5121       VtsID wmini = SVal__unC_Wmin(svOld);  in msmcread()
5183       VtsID tviW  = acc_thr->viW;  in msmcwrite()
5184       VtsID wmini = SVal__unC_Wmin(svOld);  in msmcwrite()
5191          VtsID rmini = SVal__unC_Rmin(svOld);  in msmcwrite()
6223    VtsID vi;  in libhb_init()