Searched refs:zsm_swrite32 (Results 1 – 1 of 1) sorted by relevance
5560 void zsm_swrite32 ( Addr a, SVal svNew ) { in zsm_swrite32() function5625 zsm_swrite32( a + 0, svNew ); in zsm_swrite64()5626 zsm_swrite32( a + 4, svNew ); in zsm_swrite64()5694 zsm_swrite32( a, svNew ); in zsm_sset_range_SMALL()5722 zsm_swrite32( a, svNew ); in zsm_sset_range_SMALL()5743 zsm_swrite32( a, svNew ); in zsm_sset_range_SMALL()