Searched refs:VtsID (Results 1 – 1 of 1) sorted by relevance
107 typedef UInt VtsID; typedef291 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 );[all …]