Searched defs:rmini (Results 1 – 1 of 1) sorted by relevance
3775 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini ) { in SVal__mkC()4968 VtsID rmini = SVal__unC_Rmin(svOld); in msmcread() local5039 VtsID rmini = SVal__unC_Rmin(svOld); in msmcwrite() local