Searched defs:wmini (Results 1 – 1 of 1) sorted by relevance
4132 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini ) { in SVal__mkC()5121 VtsID wmini = SVal__unC_Wmin(svOld); in msmcread() local5184 VtsID wmini = SVal__unC_Wmin(svOld); in msmcwrite() local