Searched refs:wmini (Results 1 – 1 of 1) sorted by relevance
371 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );4132 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini ) { in SVal__mkC() argument4135 return (((ULong)rmini) << 32) | ((ULong)wmini); in SVal__mkC()5121 VtsID wmini = SVal__unC_Wmin(svOld); in msmcread() local5126 svNew = SVal__mkC( rmini, VtsID__join2(wmini, tviW) ); in msmcread()5130 Bool leqxx = VtsID__cmpLEQ(rmini,wmini); in msmcread()5133 svNew = SVal__mkC( rmini, VtsID__join2(wmini, tviW) ); in msmcread()5137 wmini /* Cw */ ); in msmcread()5184 VtsID wmini = SVal__unC_Wmin(svOld); in msmcwrite() local5185 Bool leq = VtsID__cmpLEQ(wmini,tviW); in msmcwrite()[all …]