Lines Matching refs:wmini
371 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );
4132 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini ) { in SVal__mkC() argument
4135 return (((ULong)rmini) << 32) | ((ULong)wmini); in SVal__mkC()
5121 VtsID wmini = SVal__unC_Wmin(svOld); in msmcread() local
5126 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() local
5185 Bool leq = VtsID__cmpLEQ(wmini,tviW); in msmcwrite()
5193 Bool leqxx = VtsID__cmpLEQ(rmini,wmini); in msmcwrite()
5206 VtsID__join2(wmini, tviW) ); in msmcwrite()
5208 wmini, /* Cfailed */ in msmcwrite()
5210 wmini /* Cw */ ); in msmcwrite()