Searched refs:svNew (Results 1 – 1 of 1) sorted by relevance
413 static void zsm_sset_range_SMALL ( Addr a, SizeT len, SVal svNew );5109 SVal svNew = SVal_INVALID; in msmcread() local5126 svNew = SVal__mkC( rmini, VtsID__join2(wmini, tviW) ); in msmcread()5133 svNew = SVal__mkC( rmini, VtsID__join2(wmini, tviW) ); in msmcread()5145 svNew = SVal_NOACCESS; in msmcread()5153 tl_assert(is_sane_SVal_C(svNew)); in msmcread()5155 if (UNLIKELY(svNew != svOld)) { in msmcread()5156 tl_assert(svNew != SVal_INVALID); in msmcread()5158 && SVal__isC(svOld) && SVal__isC(svNew)) { in msmcread()5163 return svNew; in msmcread()[all …]